Module Rel.Fresh

module Fresh: sig .. end
Multiple freshness introduction.


Fresh


val v1 : ('a Rel.term -> Rel.goal) -> Rel.goal
val v2 : ('a Rel.term -> 'b Rel.term -> Rel.goal) -> Rel.goal
val v3 : ('a Rel.term -> 'b Rel.term -> 'c Rel.term -> Rel.goal) -> Rel.goal
val v4 : ('a Rel.term -> 'b Rel.term -> 'c Rel.term -> 'd Rel.term -> Rel.goal) ->
Rel.goal
val v5 : ('a Rel.term ->
'b Rel.term -> 'c Rel.term -> 'd Rel.term -> 'e Rel.term -> Rel.goal) ->
Rel.goal
val v6 : ('a Rel.term ->
'b Rel.term ->
'c Rel.term -> 'd Rel.term -> 'e Rel.term -> 'f Rel.term -> Rel.goal) ->
Rel.goal