+
+(* for Matita NG *)
+val find_level2_patterns32:
+ int ->
+ string * string *
+ CicNotationPt.argument_pattern list * CicNotationPt.cic_appl_pattern
+
+val add_load_patterns32:
+ ((bool * CicNotationPt.cic_appl_pattern * int) list -> unit) -> unit
+val init: unit -> unit