module Typed_vars:sig
..end
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