law insert_from

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

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

81law insert_from:
82  for ~A: Data
83  for ~o: C.Ord<A>
84  for +x: A
85  for xs: List<&2, A>
86  for -lo: A
87  from(~A, ~o, lo, xs) -> C.Ord.R(A, o, lo, x) -> from(~A, ~o, lo, insert(~A, ~o, x, xs))