sig   val v1 : ('Rel.term -> Rel.goal) -> Rel.goal   val v2 : ('Rel.term -> 'Rel.term -> Rel.goal) -> Rel.goal   val v3 :     ('Rel.term -> 'Rel.term -> 'Rel.term -> Rel.goal) -> Rel.goal   val v4 :     ('Rel.term -> 'Rel.term -> 'Rel.term -> 'Rel.term -> Rel.goal) ->     Rel.goal   val v5 :     ('Rel.term ->      'Rel.term -> 'Rel.term -> 'Rel.term -> 'Rel.term -> Rel.goal) ->     Rel.goal   val v6 :     ('Rel.term ->      'Rel.term ->      'Rel.term -> 'Rel.term -> 'Rel.term -> 'Rel.term -> Rel.goal) ->     Rel.goal end