Names.Projection
module Repr : sig ... end
val constant : t -> Constant.t
val npars : t -> int
val arg : t -> int
val unfolded : t -> bool
val hash : t -> int
val to_string : t -> string
Encode as a string (not to be used for user-facing messages).
val debug_to_string : t -> string
Same as to_string
, but outputs extra information related to debug.