def String.is_ge
import Base2078def String.is_ge(a: String, b: String) -> Bool:
2079 Cmp.is_ge(String.order(a, b))
Uses (4)
Used by (0)
No other definition uses this definition.
import Base2078def String.is_ge(a: String, b: String) -> Bool:
2079 Cmp.is_ge(String.order(a, b))
No other definition uses this definition.