Functor Control.Make


module Make: 
functor (A : Model.S) -> sig .. end
Parameters:
A : Model.S

val control : unit -> unit