beautifHOL Contents Index

AbsHOL

Documentation

newtype Idents

Constructors Idents String Instances Eq Idents Ord Idents Show Idents Print Idents

newtype PredId

Constructors PredId String Instances Eq PredId Ord PredId Show PredId Print PredId

newtype FunctId

Constructors FunctId String Instances Eq FunctId Ord FunctId Show FunctId Print FunctId

data PROGRAM

Constructors PROGRAM [SENT] Instances Eq PROGRAM Ord PROGRAM Show PROGRAM Print PROGRAM

data DEF

Constructors DefSent Idents SENT Instances Eq DEF Ord DEF Show DEF Print DEF

data SENT

Constructors ASentPred PredId [TERMS] TrueSent FalseSent IdentSent Idents ASentEq TERM TERM NegSent SENT IfSent SENT SENT SENT AndSent SENT SENT OrSent SENT SENT ImpSent SENT SENT LetSent [DEF] SENT ForallSent [TERM] SENT ExistsSent [TERM] SENT Instances Eq SENT Ord SENT Show SENT Print SENT

data TERM

Constructors FunctTerm FunctId [TERMS] ConstVarTerm Idents Instances Eq TERM Ord TERM Show TERM Print TERM

data TERMS

Constructors Terms [TERM] Instances Eq TERMS Ord TERMS Show TERMS Print TERMS

Produced by Haddock version 2.4.1