Reflect.Var
type t
=
{
id : Uid.t;
ty : Type.t;
is_skolem : bool;
}
val pp_name : CCFormat.t -> t -> unit
val pp : CCFormat.t -> t -> unit