module Make: functor (P : Miniml.Mlpp_param) -> Miniml.Mlpp
functor (
P
:
Miniml.Mlpp_param
) ->
Miniml.Mlpp