Base · base.bend:740
import Base
740def Nat.is_gt(a: Nat, b: Nat) -> Bool: 741 Cmp.is_gt(Nat.cmp(a, b))