Documentation

plam :: forall c. (PLamN a b s, HasCallStack) => (Term s c -> a) -> Term s (c :--> b) Source #

pinl :: Term s a -> (Term s a -> Term s b) -> Term s b Source #