cw.bend checks
raw source on the hub · import 0xce16f354e68f7bbd659db8de167a2393/cw.bend as Cw
1 import
import Base
Definitions
def ap source · line 3 · raw
@h:(@_:(@_:Nat -> Nat) -> @_:Nat -> Nat) -> @s:(@_:Nat -> Nat) -> @n:Nat -> Nat
def qof source · line 6 · raw
@f:(@_:(@_:Nat -> Nat) -> @_:Nat -> Nat) -> Quant
def k source · line 9 · raw
@f:(@_:(@_:Nat -> Nat) -> @_:Nat -> Nat) -> @g:(@_:Nat -> Nat) -> @-A:Kind(qof(f)) -> @b:Bool -> Nat
def main source · line 16 · raw
Nat