pub2.bend checks
raw source on the hub · import 0x2a888ea481604c8ab4f68a408f625503/pub2.bend as Pub2
1 import
import Base
Definitions
def ok source · line 3 · raw
Nat
raw source on the hub · import 0x2a888ea481604c8ab4f68a408f625503/pub2.bend as Pub2
import Base
Nat