~/jendhub

def sp.cons_tail

bend-osdev-cbc@0.1.0.0 · PROOF.bend:16

import bend-osdev-cbc@0.1.0.0/PROOF.bend as PROOF
import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M
import bend-osdev-mode-core@0.1.0.0/LAWS.bend as CoreL

16def sp.cons_tail(b: M.CmBlock, s: M.CmSplit) -> {M.cm.split.tail(M.cm.split.cons(b, s)) == M.cm.split.tail(s) : List<&2, U32>}:
17  CoreL.split_cons_tail(b, s)

Uses (7)

Used by (1)