FirstOrderTheory.Theory

class FirstOrderTheory t

data PredicateDecl

data FunctionDecl

predicateDecl

functionDecl