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