module TVar:sig
..end
include LUVar.S
val do_on_exact : ?nothing:(unit -> unit) -> ?something:(elm -> unit) -> t -> unit
val do_on_lower : ?nothing:(unit -> unit) -> ?something:(elm -> unit) -> t -> unit
val do_on_upper : ?nothing:(unit -> unit) -> ?something:(elm -> unit) -> t -> unit