pbody

pairSyntax.pbody : (term -> term)

Returns the body of a paired abstraction.

pbody "\pair. t" returns "t".

Failure

Fails unless the term is a paired abstraction.

See also

Term.body, pairSyntax.dest_pabs