Module Typed_vars


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