Argument Position | Prohibited Expression |
---|---|

Argument 1 | _∨_ |

_→_ | |

_↔_ | |

_←_ | |

_⊕_ | |

_↛_ | |

_↚_ | |

Argument 2 | _∧_ |

_∨_ | |

_⊕_ | |

_→_ | |

_↔_ | |

_←_ | |

_↛_ | |

_↚_ |

Argument Position | Prohibited Expression |
---|---|

Argument 1 | _∨_ |

_→_ | |

_↔_ | |

_←_ | |

_⊕_ | |

_↛_ | |

_↚_ | |

Argument 2 | _∧_ |

_∨_ | |

_⊕_ | |

_→_ | |

_↔_ | |

_←_ | |

_↛_ | |

_↚_ |

expression phrase ⇒ boolean, expression phrase ⇒ boolean

Given two arbitrary boolean -valued phrase s, answer a logical disjunction, i.e., OR, phrase. The resulting phrase short-circuits the computation, i.e., only evaluates b if a is false.

Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | a | expression phrase ⇒ boolean | An expression phrase that yield a boolean. | |

2 | b | expression phrase ⇒ boolean | An expression phrase that yield a boolean. | |

Returns | send phrase ⇒ boolean | a ∧ b. |

boolean, []→boolean

Compute and answer the logical disjunction, i.e., OR, of the arguments. Short-circuit the computation, i.e., only evaluate b if a is false.

Position | Name | Type | Description | |
---|---|---|---|---|

Parameters | ||||

1 | a | boolean | A boolean. | |

2 | b | []→boolean | A boolean function. | |

Returns | ⊤ | a ∨ b, strengthened to boolean later. |

boolean's type, []→boolean's type

Improve on Primitive 45's return type.

Type | Description | |
---|---|---|

Parameter Types | ||

boolean's type | ||

[]→boolean's type |

boolean's type, []→boolean's type

If the right-hand argument of _∨_ is known statically to be true, then the expression is also known statically to be true.

Type | Description | |
---|---|---|

Parameter Types | ||

boolean's type | ||

[]→boolean's type |

false's type's type, []→boolean's type

If the left-hand argument of _∨_ is known statically to be false, then the static type of the expression is b 's return type.

Type | Description | |
---|---|---|

Parameter Types | ||

false's type's type | ||

[]→boolean's type |

true's type's type, []→boolean's type

If the left-hand argument of _∨_ is known statically to be true, then the expression is also known statically to be true.

Type | Description | |
---|---|---|

Parameter Types | ||

true's type's type | ||

[]→boolean's type |