Fixpoint3.Ast.Datalog.HeadTerm
enum HeadTermSourcecase 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)