Module Genr_mli


module Genr_mli: sig .. end

Generate the interface file of the Moca algebraic datatype



val genr_private_type_declarations : bool ->
Format.formatter -> (string * Parsetree.type_declaration) list -> unit
val genr_public_type_declarations : bool ->
Format.formatter -> (string * Parsetree.type_declaration) list -> unit
val genr_mli : bool ->
Format.formatter -> (string * Parsetree.type_declaration) list -> unit