Module type Signature.NAME_SIZE_DPDS


module type NAME_SIZE_DPDS = sig .. end

include Signature.NAME_DPDS
val size : int
Initial size of the generated internal state.