module Make: functor (A : Model.S) -> sig .. end
functor (
A
:
Model.S
) ->
sig
end
val control : unit -> unit
unit -> unit