sig   type 'a t = 'Rel.value   val name : 'Rel.value -> string   val find : 'Rel.value -> 'a option   val get : 'Rel.value -> 'a   val term : 'Rel.value -> 'Rel.term   val pp : Format.formatter -> 'Rel.value -> unit   val get1 : 'Rel.value -> 'a   val get2 : 'Rel.value -> 'Rel.value -> 'a * 'b   val get3 : 'Rel.value -> 'Rel.value -> 'Rel.value -> 'a * 'b * 'c   val get4 :     'Rel.value ->     'Rel.value -> 'Rel.value -> 'Rel.value -> 'a * 'b * 'c * 'd   val get5 :     'Rel.value ->     'Rel.value ->     'Rel.value -> 'Rel.value -> 'Rel.value -> 'a * 'b * 'c * 'd * 'e   val get6 :     'Rel.value ->     'Rel.value ->     'Rel.value ->     'Rel.value ->     'Rel.value -> 'Rel.value -> 'a * 'b * 'c * 'd * 'e * 'f end