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