- ('term environment -> string -> 'term list -> 'term)
- (* environment, literal number, arguments as needed *)
-
-and 'term environment = 'term codomain_item Environment.t
-
-type 'term multiple_environment = 'term codomain_item list Environment.t
-
-(* a simple case of extension of a disambiguation environment *)
-val env_of_list:
- (string * string * 'term) list -> 'term environment -> 'term environment
-
-val multiple_env_of_list:
- (string * string * 'term) list -> 'term multiple_environment ->
- 'term multiple_environment