stelliferous

Search uses release 0.0.2.0 · 2,086 definitions

Releases (2)

def WhenEvidence is required only for an enabled branch.
def choose_matching
def left
def right
def allStored in reverse evaluation order so all preserves left-associated &&.
def HoldsEvidence for every condition, in the same reverse order as all.
def all_hold
def condition_atA missing condition is True, the neutral element, not an array read.
law every_condition_holds
def or_true_rightDisjunction identities shared by coverage proofs.
def or_false_left
def or_false_right
def or_associative

def store_lane
def store_tail
type Written
def write_bias
def write_row
def next
def write
type Evidence
def after_write
def finishedThe final step stores into the owners the loop returned unchanged.
def reduced
def reduce
def execute
def traverse
def finish
def run
def equation
def certificate
def kept_stateThe fold gives back the three buffers it only reads, next to the output of run.
def kept_equation
type Kept
def keptThe certificates of the read-only buffers are the ones that came in.