Test

State

module

Module

assert-equal

defn

(λ [(Ref State), a, a, &String] State)

assert-exit

defn

(λ [(Ref State), Int, (λ [] ()), &String] State)

assert-false

defn

(λ [(Ref State), Bool, &String] State)

assert-not-equal

defn

(λ [(Ref State), a, a, &String] State)

assert-op

defn

(λ [(Ref State), a, b, &String, (λ [a, b] Bool)] State)

assert-signal

defn

(λ [(Ref State), Int, (λ [] ()), &String] State)

assert-true

defn

(λ [(Ref State), Bool, &String] State)

handle-signal

defn

(λ [Int] a)

handler

defn

(λ [(Ref State), a, b, &String, &String, (λ [a, b] Bool)] State)

defn

(λ [(Ref State)] State)

reset

defn

(λ [State] State)

run-child

defn

(λ [(λ [] ())] Int)

run-child-signals

defn

(λ [(λ [] ())] Int)