Up

Module Comparable_intf

Signature

module type Validate = sig .. end
module type With_zero = sig .. end
module type S_common = sig .. end
module type S = sig .. end
Usage example:
module type Map_and_set_binable = sig .. end
module type S_binable = sig .. end