ok.bend checks
raw source on the hub · import 0xeb05f403bd3281ca0d68940b4cfd7834/ok.bend as Ok
1 import
import Base
Definitions
def main source · line 2 · raw
Nat
raw source on the hub · import 0xeb05f403bd3281ca0d68940b4cfd7834/ok.bend as Ok
import Base
Nat