module Signature: sig .. end
sig
end
module type NAME = sig .. end
module type SIZE = sig .. end
module type NAME_SIZE = sig .. end
module type NAME_DPDS = sig .. end
module type NAME_SIZE_DPDS = sig .. end