bend-kit-collections

Releases (6)

• 0.1.4.1 indexed
• 0.1.4.0 unindexed
• 0.1.3.0 unindexed
• 0.1.2.0 unindexed
• 0.1.1.0 unindexed
• 0.1.0.0 unindexed

Definitions (620)

PROOF.bend

• def c3.a
• def c3.b
• def c3.c
• def c3.i
• def head
• def sfromThe list is sorted and its first element lies above lb.
• def lt_mlb lies below ub, when both exist.
• def lt_m.some
• def sfrom.base
• def keys_sorted.go
• def Trans
• def Flip
• def Refl
• def Eq
• def lt_of
• def lt_true
• def gt_flip
• def lt_trans
• def above_trans
• def below_trans
• def bn.aProjections and introduction for bounded on one node.
• def bn.b
• def bn.l
• def bn.h
• def bn.i
• def rot_lo.single.bnd
• def rot_lo.double.bnd
• def rot_lo.pick.bnd
• def rot_lo.bnd
• def rot_hi.single.bnd
• def rot_hi.double.bnd
• def rot_hi.pick.bnd
• def rot_hi.bnd
• def balance.if.bnd
• def balance.bnd
• def cmp.splitProves a goal about O.Cmp.case by one case per comparison result.
• def put.bnd
• def rw
• def split
• def gt_of_lt
• def getcget on one node, with the comparison result as a parameter.
• def get.hereget finds key k itself in a node keyed by k.
• def get.ltget on a node goes to lo when the comparison is LT.
• def get.gtget on a node goes to hi when the comparison is GT.
• def rot_lo.single.get
• def g
• def mtr
• def rot_lo.double.get2
• def rot_lo.double.get
• def rot_lo.pick.get
• def rot_lo.get
• def rot_hi.single.get
• def rot_hi.double.get2
• def rot_hi.double.get
• def rot_hi.pick.get
• def rot_hi.get
• def balance.if.get
• def balance.get
• def get_put_same
• def neq_false
• def ne_absurd
• def eq_flip
• def get_put_other
• def weaken_hiA tree bounded above by a is bounded above by anything above a.
• def PMWhat pop_min answers: its key lies between the bounds, and the rest lies above it.
• def pm.fin.bnd.go
• def pm.fin.bndWorkaround for https://github.com/bendlang/bend/issues/1077: bind the tuple without +.
• def pm.bnd
• def glue.fin.bnd.go
• def glue.fin.bndWorkaround for https://github.com/bendlang/bend/issues/1077: bind the tuple without +.
• def glue.bnd
• def del.bnd
• def W
• def WB
• def PWt is balanced and its weight is within one of n.
• def PMW
• def pos_add
• def w_pos
• def wb.ok
• def wb.l
• def wb.h
• def wb.i
• def rls.wbRotations toward lo, after hi grew or lo shrank by one.
• def rld.wb
• def rlp.wb
• def rl.wb
• def rhs.wbRotations toward hi, after lo grew or hi shrank by one.
• def rhd.wb
• def rhp.wb
• def rh.wb
• def bif.wb
• def bal.wb
• def rlp.wBalancing keeps the weight.
• def rhp.w
• def rl.w
• def rh.w
• def bif.w
• def bal.w
• def bal.lo.near
• def bal.hi.near