Function parse_claim_predicate
pub fn parse_claim_predicate(e: &Expr) -> Result<ClaimPredicate, Span>Expand description
Recognise the closed claim-predicate vocabulary in a refinement where
expression. Err(span) points at the first sub-expression outside the set
(for bynk.actor.refinement_predicate_unsupported).