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