implies

boolean →
implies(
    expression: boolean
) → boolean

Returns logical implication from the Boolean input to a secondary Boolean expression. Returns true without evaluating the expression when the input is false.

Parameters

Name	Type	Required	Description
expression	boolean	Yes	Specifies the secondary Boolean expression evaluated when the input is true.

Argument evaluation

• expression: Evaluated only when the incoming value converts to true. References use their enclosing context; open predicate expressions use the current evaluation value.

Examples

#true | implies(#false) → #false

Kind: Predicate
Scope: boolean
Aliases: None