BodyTerm

enum BodyTermSource

case Wildcase Var(VarSym)case Lit(Boxed)

Represents a term in a body atom: a wildcard, a variable, or a literal.

Instances

instance ToString[BodyTerm]Source