X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FcicNotation2.mli;h=6c9c44167256b8e2da2fe063941a4e4ed2aabedb;hb=16f2f9f9915f483089fd0f532e25ff51e2252bac;hp=00f184b3bf192eeee0f724277711e1e42cdb8f00;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git diff --git a/helm/software/components/grafite_parser/cicNotation2.mli b/helm/software/components/grafite_parser/cicNotation2.mli index 00f184b3b..6c9c44167 100644 --- a/helm/software/components/grafite_parser/cicNotation2.mli +++ b/helm/software/components/grafite_parser/cicNotation2.mli @@ -23,13 +23,7 @@ * http://helm.cs.unibo.it/ *) -(** Note: notation is also loaded, but it cannot be undone since the - notation_ids part of the status is thrown away; - so far this function is useful only in Whelp *) -val parse_environment: - include_paths:string list -> - string -> - DisambiguateTypes.environment * DisambiguateTypes.multiple_environment - (** @param fname file from which load notation *) -val load_notation: include_paths:string list -> string -> LexiconEngine.status +val load_notation: + #LexiconEngine.status as 'status -> include_paths:string list -> string -> + 'status