Enum ExtensionBuiltin 

pub enum ExtensionBuiltin {
    Infinitesimal,
    StandardPart,
    IsInfinitesimal,
    IsLimited,
    InfinitelyClose,
    GeneratorOf,
    LimitOf,
    Provisional,
    AtTheLimit,
    TripCount,
    AffinePower,
    PolynomialFlow,
    CycleAt,
    SearchCandidates,
    StateSize,
    EveryNatural,
    ExactSqrt,
    ExactExp,
    ExactLn,
    ExactPi,
    ExactE,
    ExactOmega,
    HybridFlow,
    FirstExit,
    ExactPower,
    OrderedInfinitesimal,
}

A builtin of the exact extension, as a compiled program names it. A builtin of the exact extension.

Variants

Infinitesimal

infinitesimal(name, modulus, allowed…): a fresh infinitesimal whose reciprocal’s residue modulo modulus is one of allowed.

StandardPart

standardPart(x[, at]), isInfinitesimal(x[, at]), isLimited(x[, at]), infinitelyClose(x, y[, at]): the standard part and the predicates, relative to the infinitesimal at when it is given.

IsInfinitesimal

IsLimited

InfinitelyClose

GeneratorOf

The infinite integer 1/dt an infinitesimal generates.

LimitOf

A value read under a named limit rule.

Provisional

A search’s answer with its evidence: the steps it took and the revisions it made.

AtTheLimit

The statement At the limit, take …: names a rule, answers nothing.

TripCount

AffinePower

PolynomialFlow

CycleAt

SearchCandidates

StateSize

EveryNatural

A search over every natural that reached a run unresolved.

ExactSqrt

The exact square root, exponential and natural logarithm, which sqrt, exp and ln are in a context that declares an exact type.

ExactExp

ExactLn

ExactPi

π and e exactly, which pi and e are in a context that declares an exact type.

ExactE

ExactOmega

ω, the first infinite ordinal, which omega is in an Ordinal context.

HybridFlow

The end state of a loop whose state flows between jumps.

FirstExit

How many passes a loop makes whose guard compares terms linear in a counter it steps.

ExactPower

base ** exponent to an exponent that is an exact number, which ** and pow are when their exponent is one: a fraction p/q takes the real q-th root to the p-th power.

OrderedInfinitesimal

orderedInfinitesimal(name, larger, smaller, modulus, allowed…): a fresh infinitesimal much smaller than the infinitesimal larger and much larger than smaller, either bound nothing when the declaration does not name it.

Implementations

impl Builtin

pub const ALL: [Builtin; 26]

pub fn name(self) -> &'static str

The builtin’s name as a program calls it.

pub fn named(name: &str) -> Option<Builtin>

The builtin a program calls by name.

Trait Implementations

impl Clone for Builtin

fn clone(&self) -> Builtin

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Builtin

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Hash for Builtin

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Builtin

fn eq(&self, other: &Builtin) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Builtin

impl Eq for Builtin

impl StructuralPartialEq for Builtin