Module Mint_natural


module Mint_natural: sig .. end

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