Mavryk_mockup_registration.Registrationinclude Registration_intf.Smodule type MOCKUP = Registration_intf.MOCKUPmodule type PROTOCOL = Registration_intf.PROTOCOLtype mockup_context = Registration_intf.ttype mockup_environment = (module MOCKUP)val register_mockup_environment : mockup_environment -> unitval get_registered_environments : unit -> mockup_environment listmodule type S = Registration_intf.Smodule Internal_for_tests : sig ... end