def head_or

import lawful-arrays@0.1.0.0/proof_base.bend as ProofBase

import Base

434def head_or(-A: Data, +d: A, xs: List<&2, A>) -> A:
435  match xs:
436    case Nil{}:
437      d
438    case h <> t:
439      h

Uses (1)