Previous
Up
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.