law insert_sorted

bend-lawful-stdlib@0.1.0.0 · src/sorted.bend:116

import Base
import bend-lawful-stdlib@0.1.0.0/src/class.bend as C

116law insert_sorted:
117  for ~A: Data
118  for ~o: C.Ord<A>
119  for +x: A
120  for xs: List<&2, A>
121  Sorted(~A, ~o, xs) -> Sorted(~A, ~o, insert(~A, ~o, x, xs))