Make.Term
type t
val variable : int -> t
val constant : Rdf.Term.t -> t
val constant_value : t -> Rdf.Term.t option
val equal : t -> t -> bool
val pp : t Fmt.t