Base · base.bend:764
import Base
764law Nat.ge_refl: 765 for a: Nat 766 {Nat.is_ge(a, a) == True{} : Bool}