def order_tail

mlbend-split@0.1.1.0 · main.bend:117

import Base

117# The orders of every class but the first.
118def order_tail(+orders: List<&2, List<&2, Nat>>) -> List<&2, List<&2, Nat>>:
119  match orders:
120    case Nil{}:
121      Nil{}
122    case Con{h, t}:
123      t