module Plain: sig .. end
sig
end
module type S = sig .. end
module Make: functor (Model : sig val name : string module Caller: sig .. end module Callee: sig .. endend) -> sig .. end
functor (
Model
:
val name : string
string
module Caller: sig .. end
module Callee: sig .. end
) ->