FirstOrderTheory.Syntax

data Literal

data Atom

data Term

atomArgs

predicateName

isFunctionWithName

isNeg

getAtom

varName

intVal

funcArgs

lit

nLit

atom

func

var

intConst