module Call: sig .. end
sig
end
module type T_for_call = sig .. end
module WithPrePost: functor (W : T_for_call) -> sig .. end
functor (
W
:
T_for_call
) ->