def returns_proof.or

bolt@1.27.0.0 · src/rules/calls.bend:260

import bolt@1.27.0.0/src/rules/calls.bend as Calls

import Base

260# a `{` group after the arrow, or a proof further on
261def returns_proof.or(+brace: Bool, more: Bool) -> Bool:
262  Bool.or(brace, more)

Uses (2)

Bool
Bool.or

Used by (1)

bolt@1.27.0.0/src/rules/calls:returns_proof