~/jendhub

def cmp.tail

bend-osdev-mode-core@0.1.0.0 · PROOF.bend:635

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

635def cmp.tail(xs: List<&2, M.CmBlock>) -> List<&2, M.CmBlock>:
636  match xs:
637    case Nil{}:
638      Nil{}
639    case Con{h, t}:
640      t

Uses (2)

Used by (1)