~/jendhub

def cmp.head

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

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

628def cmp.head(d: M.CmBlock, xs: List<&2, M.CmBlock>) -> M.CmBlock:
629  match xs:
630    case Nil{}:
631      d
632    case Con{h, t}:
633      h

Uses (2)

Used by (1)