Module Functional.Cyclesim

module M (I : Hardcaml.Interface.S) (O : Hardcaml.Interface.S) : sig ... end
module type S = sig ... end