def String.is_le

Base · base.bend:2072

import Base
2072def String.is_le(a: String, b: String) -> Bool:
2073  Cmp.is_le(String.order(a, b))

Uses (4)

Used by (17)