Pp.Env
type t
val emp : t
val var : int -> t -> string
val bind : t -> string option -> string * t
val bindn : t -> string option list -> string list * t
val bind_underscore : t -> string * t
val proj : t -> t
val names : t -> string list