Types

Contents

Real Closed Fields

Types#

logic1.theories.RCF.types.Formula[source]#

Type alias for firstorder.formula.Formula in the theory of Real Closed Fields.

alias of Formula[logic1.theories.RCF.atomic.AtomicFormula, logic1.theories.RCF.term.Term, logic1.theories.RCF.term.Variable, logic1.theories.RCF.types.Number]

logic1.theories.RCF.types.Prefix[source]#

Type alias for firstorder.quantified.Prefix in the theory of Real Closed Fields.

alias of Prefix[logic1.theories.RCF.term.Variable]

logic1.theories.RCF.types.Number: TypeAlias = int | float | fractions.Fraction | gmpy2.mpq#

Type alias for real number types.

Contents