Up – Index » dolmen_loop » Dolmen_loop » Export » Smtlib2 » Printer » V » Term » Var

Module `Term.Var`

type t = term_var

val ty : t -> Ty.t

val equal : t -> t -> bool