Data.Logic.Types.Harrison.FOL
data
TermType
data
FOL
data
Function