Module Signature


module Signature: sig .. end

Signatures to provide to some computation builders



module type NAME = sig .. end
module type SIZE = sig .. end
module type NAME_SIZE = sig .. end

Signatures to provide to some computation builders


module type NAME_DPDS = sig .. end
module type NAME_SIZE_DPDS = sig .. end