HeadTerm

enum HeadTermSource

case Var(VarSym)

case Lit(Boxed)

case App1(Boxed -> Boxed, VarSym)

case App2(Boxed -> (Boxed -> Boxed), VarSym, VarSym)

case App3(Boxed -> (Boxed -> (Boxed -> Boxed)), VarSym, VarSym, VarSym)

case App4(Boxed -> (Boxed -> (Boxed -> (Boxed -> Boxed))), VarSym, VarSym, VarSym, VarSym)

case App5(Boxed -> (Boxed -> (Boxed -> (Boxed -> (Boxed -> Boxed)))), VarSym, VarSym, VarSym, VarSym, VarSym)

Represents a term in a head atom: a variable, a literal, or a function application.

Instances