* http://helm.cs.unibo.it/
*)
-val parse_environment: string -> DisambiguateTypes.environment
+val parse_environment:
+ string ->
+ DisambiguateTypes.environment * DisambiguateTypes.multiple_environment
val commands_of_environment:
DisambiguateTypes.environment ->
(CicNotationPt.term, GrafiteAst.obj) GrafiteAst.command list
val pp_environment: DisambiguateTypes.environment -> string
-