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