def order.gt

bend-kit-unicode@0.1.0.0 · unicode.bend:35

import bend-kit-unicode@0.1.0.0/unicode.bend as Unicode
import Base
import bend-kit-unicode@0.1.0.0/tables.bend as T

35# Does the reversed output start with a mark of class above k?
36def order.gt(acc: String, +k: U32) -> Bool:
37  match acc:
38    case SNil{}:
39      False{}
40    case SCon{Chr{+h}, t}:
41      U32.is_lt(k, T.ccc(h))

Uses (6)

Used by (2)