pub fn syn_of_term(t: &Term) -> Option<Syn>Expand description
Read a kernel Term as reflected object syntax, or None if it is not one.
The literal window is EXACTLY Literal::Int. An SLit carrying a Literal::BigInt is
refused here because the kernel’s reify::extract_slit refuses it too, and a re-checker
that read a numeral the first kernel cannot would decide goals the first kernel leaves
stuck. Widening that window is a change to BOTH kernels or to neither.