module Mint_natural: sig .. end
sig
end
module Create: functor (F : Formula.S) -> sig .. end
functor (
F
:
Formula.S
) ->