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