Module Rel.Value

module Value: sig .. end
Variable values.

type 'a t = 'a Rel.value 
See Rel.value.
val name : 'a Rel.value -> string
name v is v's name. See Rel.query.
val find : 'a Rel.value -> 'a option
find v is v's value, if any.
val get : 'a Rel.value -> 'a
get v is like Rel.Value.find but
Raises Invalid_argument if v is undefined.
val term : 'a Rel.value -> 'a Rel.term
term v is v's defining term.
val pp : Format.formatter -> 'a Rel.value -> unit
pp ppf v prints, if it exists, v's value using the value's domain pretty-printer. Otherwise it prints v's defining term.

Multiple values as tuples


val get1 : 'a Rel.value -> 'a
val get2 : 'a Rel.value -> 'b Rel.value -> 'a * 'b
val get3 : 'a Rel.value -> 'b Rel.value -> 'c Rel.value -> 'a * 'b * 'c
val get4 : 'a Rel.value ->
'b Rel.value -> 'c Rel.value -> 'd Rel.value -> 'a * 'b * 'c * 'd
val get5 : 'a Rel.value ->
'b Rel.value ->
'c Rel.value -> 'd Rel.value -> 'e Rel.value -> 'a * 'b * 'c * 'd * 'e
val get6 : 'a Rel.value ->
'b Rel.value ->
'c Rel.value ->
'd Rel.value -> 'e Rel.value -> 'f Rel.value -> 'a * 'b * 'c * 'd * 'e * 'f