In PlutusTx, you'd signal validation failure with the error function. You can do the same in Plutarch using perror.
fails :: Term s (PData :--> PData :--> PData :--> PUnit)
fails = plam $ \_ _ _ -> perror
This repository has been archived by the owner on Aug 26, 2022. It is now read-only.