def pack.le
import ezx@1.11.0.0/src/lock/lock.bend as Lockimport Base
472# packages are written in hash order, so a lock is the same text however it was
473# resolved
474def pack.le(left: Pack, right: Pack) -> Bool:
475 String.is_le(pack.hash(left), pack.hash(right))