sig
exception Unknown_type_name of string
exception Type_arity_mismatch of string * int * int
exception Unknown_generator_name of string
exception Unknown_generator_type_name of string * string
val typed_vars_eqn :
Term.term * Term.term -> (Var.var * Parsetree.core_type) list
end