-val register_matita_script_current: (unit -> < advance: ?statement:string -> unit -> unit; grafite_status: GrafiteTypes.status >) -> unit
-val get_matita_script_current: unit -> < advance: ?statement:string -> unit -> unit; grafite_status: GrafiteTypes.status >
+val register_matita_script_current: (unit -> < advance: ?statement:string -> unit -> unit; status: GrafiteTypes.status >) -> unit
+val get_matita_script_current: unit -> < advance: ?statement:string -> unit -> unit; status: GrafiteTypes.status >