is_formula

is_one_sided_formula

is_two_sided_formula

assert_is_formula

assert_is_one_sided_formula

assert_is_two_sided_formula

<p>See <code><a rd-options="assertive.types" href="/link/is_formula?package=assertive&version=0.3-6&to=assertive.types" data-mini-rdoc="assertive.types::is_formula">is_formula</a></code>.</p>

Lots of predicates (is_* functions) to check the state of your
variables, and assertions (assert_* functions) to throw errors if they
aren't in the right form.

Richard Cotton

assertive

Readable Check Functions to Ensure Code Integrity

is_formula function

<p>See <code><a rd-options='assertive.types' href='is_formula'>is_formula</a></code>.</p>

Is the input a formula? — is_formula

Is the input a formula?

is_formula: Is the input a formula?

Description

Arguments