*)
val parse_environment: string -> DisambiguateTypes.environment
+
+val commands_of_environment:
+ DisambiguateTypes.environment ->
+ (CicNotationPt.term, GrafiteAst.obj) GrafiteAst.command list
+
val pp_environment: DisambiguateTypes.environment -> string
+