current
Var.T
current.cache
current.fs
current.term
type t
val equal : t -> t -> bool
val pp : t Fmt.t