def order_head

mlbend-split@0.1.1.0 · main.bend:109

import mlbend-split@0.1.1.0/main.bend as MlbendSplit
import Base

109# The first of the shuffled rows of every class.
110def order_head(orders: List<&2, List<&2, Nat>>) -> List<&2, Nat>:
111  match orders:
112    case Nil{}:
113      Nil{}
114    case Con{h, t}:
115      h

Uses (2)

Used by (1)