module-toplevel (0 args): 648 ops in 1090 bytes, maxdepth 52, 0 tags, 246 constants, 9 variables
constant %uninterned:{call/goal}
constant #[byte-code: 35 bytes; vecsize=5 maxdepth=8]
fset
discard
constant %uninterned:{not-a-state}
constant #[byte-code: 7 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{$λ/g}
constant #[byte-code: 19 bytes; vecsize=5 maxdepth=11]
fset
discard
constant %uninterned:{+$λ/g:λ+}
constant #[byte-code: 47 bytes; vecsize=8 maxdepth=12]
fset
discard
constant %uninterned:{not-a-stream}
constant #[byte-code: 7 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{not-a-symbol}
constant #[byte-code: 7 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{var-index}
constant #[byte-code: 14 bytes; vecsize=2 maxdepth=4]
fset
discard
constant %uninterned:{not-a-var}
constant #[byte-code: 7 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{var< ?}
constant #[byte-code: 38 bytes; vecsize=4 maxdepth=7]
fset
discard
constant %uninterned:{walk}
constant #[byte-code: 29 bytes; vecsize=4 maxdepth=5]
fset
discard
constant %uninterned:{walk-var}
constant #[byte-code: 31 bytes; vecsize=2 maxdepth=6]
fset
discard
constant %uninterned:{walk*}
constant #[byte-code: 20 bytes; vecsize=4 maxdepth=7]
fset
discard
constant %uninterned:{walk*}
constant #[byte-code: 41 bytes; vecsize=5 maxdepth=7]
fset
discard
constant %uninterned:{walk*}
constant #[byte-code: 90 bytes; vecsize=5 maxdepth=10]
fset
discard
constant %uninterned:{choice}
constant #[byte-code: 23 bytes; vecsize=5 maxdepth=7]
fset
discard
constant %uninterned:{promise-or-stream}
constant #[byte-code: 29 bytes; vecsize=5 maxdepth=4]
fset
discard
constant %uninterned:{+promise-or-stream:λ+}
constant #[byte-code: 7 bytes; vecsize=2 maxdepth=4]
fset
discard
constant %uninterned:{unit}
constant #[byte-code: 59 bytes; vecsize=8 maxdepth=6]
fset
discard
constant %uninterned:{not-a-finite-list}
constant #[byte-code: 7 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{$lazy-choice}
constant #[byte-code: 9 bytes; vecsize=4 maxdepth=9]
fset
discard
constant %uninterned:{+$lazy-choice:λ+}
constant #[byte-code: 29 bytes; vecsize=4 maxdepth=5]
fset
discard
constant %uninterned:{reify}
constant #[byte-code: 9 bytes; vecsize=3 maxdepth=6]
fset
discard
constant %uninterned:{reify-s}
constant #[byte-code: 56 bytes; vecsize=7 maxdepth=7]
fset
discard
constant %uninterned:{reify-var-string}
constant #[byte-code: 38 bytes; vecsize=6 maxdepth=6]
fset
discard
constant %uninterned:{walk}
constant #[byte-code: 15 bytes; vecsize=2 maxdepth=5]
fset
discard
constant %uninterned:{reify*}
constant #[byte-code: 18 bytes; vecsize=3 maxdepth=7]
fset
discard
constant %uninterned:{reify*}
constant #[byte-code: 14 bytes; vecsize=3 maxdepth=7]
fset
discard
constant %uninterned:{unify}
constant #[byte-code: 19 bytes; vecsize=3 maxdepth=9]
fset
discard
constant %uninterned:{call-unify}
constant #[byte-code: 54 bytes; vecsize=12 maxdepth=9]
fset
discard
constant %uninterned:{check-s-alist}
constant #[byte-code: 58 bytes; vecsize=7 maxdepth=7]
fset
discard
constant %uninterned:{not-a-pair}
constant #[byte-code: 7 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{novel-s!}
constant #[byte-code: 33 bytes; vecsize=1 maxdepth=6]
fset
discard
constant %uninterned:{unify-s}
constant #[byte-code: 178 bytes; vecsize=10 maxdepth=9]
fset
discard
constant %uninterned:{flonum-zero-eq}
constant #[byte-code: 8 bytes; vecsize=1 maxdepth=5]
fset
discard
constant %uninterned:{unify-triangular}
constant #[byte-code: 33 bytes; vecsize=5 maxdepth=7]
fset
discard
constant %uninterned:{ext-s}
constant #[byte-code: 40 bytes; vecsize=5 maxdepth=7]
fset
discard
constant %uninterned:{ext-s*}
constant #[byte-code: 32 bytes; vecsize=5 maxdepth=10]
fset
discard
constant %uninterned:{stream-take}
constant #[byte-code: 97 bytes; vecsize=9 maxdepth=10]
fset
discard
constant %uninterned:{assert-fx/natnum}
constant #[byte-code: 26 bytes; vecsize=5 maxdepth=5]
fset
discard
constant %uninterned:{stream-take-all}
constant #[byte-code: 71 bytes; vecsize=7 maxdepth=6]
fset
discard
constant %uninterned:{stream-pull}
constant #[byte-code: 61 bytes; vecsize=8 maxdepth=7]
fset
discard
constant %uninterned:{kernel-error}
constant #[byte-code: 4 bytes; vecsize=2 maxdepth=4]
fset
discard
constant %uninterned:{stream-delays}
constant #[byte-code: 100 bytes; vecsize=7 maxdepth=11]
fset
discard
constant %uninterned:{$condᵃ}
constant #[byte-code: 165 bytes; vecsize=9 maxdepth=11]
fset
discard
constant %uninterned:{+$condᵃ:λ+}
constant #[byte-code: 8 bytes; vecsize=2 maxdepth=7]
fset
discard
constant %uninterned:{$condᵃ:loop}
constant #[byte-code: 149 bytes; vecsize=9 maxdepth=13]
fset
discard
constant %uninterned:{bind}
constant #[byte-code: 63 bytes; vecsize=5 maxdepth=10]
fset
discard
constant %uninterned:{+bind:lazy:λ+}
constant #[byte-code: 83 bytes; vecsize=5 maxdepth=11]
fset
discard
constant %uninterned:{+loop:λ+}
constant #[byte-code: 11 bytes; vecsize=0 maxdepth=5]
fset
discard
constant %uninterned:{mplus}
constant #[byte-code: 69 bytes; vecsize=6 maxdepth=9]
fset
discard
constant %uninterned:{+mplus:lazy:λ+}
constant #[byte-code: 77 bytes; vecsize=3 maxdepth=10]
fset
discard
constant %uninterned:{conj-exprs}
constant #[byte-code: 15 bytes; vecsize=3 maxdepth=7]
fset
discard
constant %uninterned:{+conj-exprs:λ+}
constant #[byte-code: 90 bytes; vecsize=4 maxdepth=10]
fset
discard
constant %uninterned:{eval-goal}
constant #[byte-code: 20 bytes; vecsize=4 maxdepth=4]
fset
discard
constant %uninterned:{not-a-goal}
constant #[byte-code: 7 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{conj-impl}
constant #[byte-code: 56 bytes; vecsize=5 maxdepth=9]
fset
discard
constant %uninterned:{+conj:λ+}
constant #[byte-code: 15 bytes; vecsize=1 maxdepth=8]
fset
discard
constant %uninterned:{+$condᵃ:loop:λ+}
constant #[byte-code: 24 bytes; vecsize=1 maxdepth=11]
fset
discard
constant %uninterned:{appendᵒ}
constant #[byte-code: 10 bytes; vecsize=3 maxdepth=9]
fset
discard
constant %uninterned:{+appendᵒ:λ+}
constant #[byte-code: 17 bytes; vecsize=1 maxdepth=10]
fset
discard
constant %uninterned:{loop}
constant #[byte-code: 181 bytes; vecsize=9 maxdepth=16]
fset
discard
constant %uninterned:{unify}
constant #[byte-code: 17 bytes; vecsize=3 maxdepth=7]
fset
discard
constant %uninterned:{call-≡-processor}
constant #[byte-code: 62 bytes; vecsize=9 maxdepth=8]
fset
discard
constant %uninterned:{+loop:λ+}
constant #[byte-code: 19 bytes; vecsize=1 maxdepth=10]
fset
discard
constant %uninterned:{unify-cars}
constant #[byte-code: 28 bytes; vecsize=3 maxdepth=10]
fset
discard
constant %uninterned:{var}
constant #[byte-code: 9 bytes; vecsize=3 maxdepth=4]
fset
discard
constant %uninterned:{disj}
constant #[byte-code: 80 bytes; vecsize=9 maxdepth=9]
fset
discard
constant %uninterned:{+disj:λ+}
constant #[byte-code: 21 bytes; vecsize=3 maxdepth=10]
fset
discard
constant %uninterned:{+unnamed+}
constant #[byte-code: 11 bytes; vecsize=0 maxdepth=5]
fset
discard
constant %uninterned:{conj}
constant #[byte-code: 22 bytes; vecsize=6 maxdepth=7]
fset
discard
constant %uninterned:{$condᵉ}
constant #[byte-code: 52 bytes; vecsize=7 maxdepth=10]
fset
discard
constant %uninterned:{$fresh}
constant #[byte-code: 82 bytes; vecsize=11 maxdepth=11]
fset
discard
constant %uninterned:{$run}
constant #[byte-code: 85 bytes; vecsize=9 maxdepth=14]
fset
discard
constant %uninterned:{run-impl}
constant #[byte-code: 95 bytes; vecsize=10 maxdepth=12]
fset
discard
constant %uninterned:{$run*}
constant #[byte-code: 54 bytes; vecsize=5 maxdepth=10]
fset
discard
constant %uninterned:{state-data}
constant #[byte-code: 17 bytes; vecsize=2 maxdepth=4]
fset
discard
constant %uninterned:{set-state-data}
constant #[byte-code: 22 bytes; vecsize=3 maxdepth=7]
fset
discard
constant %uninterned:{≡}
constant #[byte-code: 8 bytes; vecsize=3 maxdepth=7]
fset
discard
constant %uninterned:{+≡:λ+}
constant #[byte-code: 20 bytes; vecsize=3 maxdepth=7]
fset
discard
constant %uninterned:{nullᵒ}
constant #[byte-code: 8 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{+nullᵒ:λ+}
constant #[byte-code: 16 bytes; vecsize=3 maxdepth=6]
fset
discard
constant %uninterned:{consᵒ}
constant #[byte-code: 9 bytes; vecsize=3 maxdepth=9]
fset
discard
constant %uninterned:{+consᵒ:λ+}
constant #[byte-code: 27 bytes; vecsize=3 maxdepth=9]
fset
discard
constant %uninterned:{pairᵒ}
constant #[byte-code: 8 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{+pairᵒ:λ+}
constant #[byte-code: 31 bytes; vecsize=3 maxdepth=6]
fset
discard
constant %uninterned:{not-nullᵒ}
constant #[byte-code: 8 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{+not-nullᵒ:λ+}
constant #[byte-code: 33 bytes; vecsize=5 maxdepth=5]
fset
discard
constant %uninterned:{not-pairᵒ}
constant #[byte-code: 8 bytes; vecsize=3 maxdepth=5]
fset
discard
constant %uninterned:{+not-pairᵒ:λ+}
constant #[byte-code: 50 bytes; vecsize=6 maxdepth=6]
fset
discard
constant %uninterned:{+succeed-goal:λ+}
constant #[byte-code: 2 bytes; vecsize=0 maxdepth=2]
fset
discard
constant %uninterned:{+fail-goal:λ+}
constant #[byte-code: 2 bytes; vecsize=1 maxdepth=3]
fset
discard
constant "invalid-stream"
varset #[var #bad-stream#]
constant "stream"
varset #[var #stream#]
constant "state"
varset #[var #state#]
constant "goal"
varset #[var #goal#]
constant 0
varset #[var #var-counter#]
constant "var"
varset #[var #var#]
constant ()
varset #[var #custom-≡-processor#]
constant ()
varset #[var #custom-unifier#]
constant %el:{kernel-build-env}
constant ()
constant ("goal?" "state?" "stream?" "mzero" "call/goal" "$λ/g" "var?" "var-index" "var< ?" "walk" "walk*" "choice" "unit" "$lazy-choice" "reify" "reify*" "with-custom-unifier" "with-custom-≡-processor" "unify" "unify-triangular" "ext-s" "ext-s*" "stream-take" "stream-take-all" "stream-pull" "stream-delays" "$condᵃ" "appendᵒ" "var" "empty-state" "succeed" "fail" "disj" "conj" "$condᵉ" "$fresh" "$run" "$run*" "state-data" "set-state-data" "≡" "nullᵒ" "consᵒ" "pairᵒ" "not-nullᵒ" "not-pairᵒ")
constant %el:{kernel-make-predicate}
constant %uninterned:{#goal#}
call 1
constant %el:{kernel-make-predicate}
constant %uninterned:{#state#}
call 1
constant %el:{kernel-make-predicate}
constant %uninterned:{#stream#}
call 1
constant #[el:(encap \#stream\#)]
constant %el:{applicative}
constant %el:{operative}
constant ((g &optional a) . #ignore)
constant %uninterned:{call/goal}
cons
cons
cons
constant %el:{operative}
constant (((a-sym) . body) . env)
constant %uninterned:{$λ/g}
cons
cons
constant %el:{kernel-make-predicate}
constant %uninterned:{#var#}
call 1
constant %el:{applicative}
constant %el:{operative}
constant ((v) . #ignore)
constant %uninterned:{var-index}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((u v) . #ignore)
constant %uninterned:{var< ?}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((u a) . #ignore)
constant %uninterned:{walk}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((u a) . #ignore)
constant %uninterned:{walk*}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((A strm) . #ignore)
constant %uninterned:{choice}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant (states . #ignore)
constant %uninterned:{unit}
cons
cons
cons
constant %el:{operative}
constant ((state-expr stream-expr) . env)
constant %uninterned:{$lazy-choice}
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((v) . #ignore)
constant %uninterned:{reify}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((v a) . #ignore)
constant %uninterned:{reify*}
cons
cons
cons
constant %el:{kernel-make-dynamic-binder}
constant %uninterned:{#custom-unifier#}
call 1
constant %el:{kernel-make-dynamic-binder}
constant %uninterned:{#custom-≡-processor#}
call 1
constant %el:{applicative}
constant %el:{operative}
constant ((u v A) . #ignore)
constant %uninterned:{unify}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((u v A) . #ignore)
constant %uninterned:{unify-triangular}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((x v A) . #ignore)
constant %uninterned:{ext-s}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((A alist) . #ignore)
constant %uninterned:{ext-s*}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((n $) . #ignore)
constant %uninterned:{stream-take}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant (($) . #ignore)
constant %uninterned:{stream-take-all}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant (($$) . #ignore)
constant %uninterned:{stream-pull}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((n $) . #ignore)
constant %uninterned:{stream-delays}
cons
cons
cons
constant %el:{operative}
constant (cs . env)
constant %uninterned:{$condᵃ}
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((l s* out) . #ignore)
constant %uninterned:{appendᵒ}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant (() . #ignore)
constant %uninterned:{var}
cons
cons
cons
constant #[el:(encap \#state\# nil)]
constant #[el:(encap \#goal\# +succeed-goal:λ+)]
constant #[el:(encap \#goal\# +fail-goal:λ+)]
constant %el:{applicative}
constant %el:{operative}
constant (gs . #ignore)
constant %uninterned:{disj}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant (gs . #ignore)
constant %uninterned:{conj}
cons
cons
cons
constant %el:{operative}
constant (cs . env)
constant %uninterned:{$condᵉ}
cons
cons
constant %el:{operative}
constant ((xs . gs) . env)
constant %uninterned:{$fresh}
cons
cons
constant %el:{operative}
constant ((n xs . gs) . env)
constant %uninterned:{$run}
cons
cons
constant %el:{operative}
constant ((xs . gs) . env)
constant %uninterned:{$run*}
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((A) . #ignore)
constant %uninterned:{state-data}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((A d) . #ignore)
constant %uninterned:{set-state-data}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((u v) . #ignore)
constant %uninterned:{≡}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((v) . #ignore)
constant %uninterned:{nullᵒ}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((car cdr v) . #ignore)
constant %uninterned:{consᵒ}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((v) . #ignore)
constant %uninterned:{pairᵒ}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((v) . #ignore)
constant %uninterned:{not-nullᵒ}
cons
cons
cons
constant %el:{applicative}
constant %el:{operative}
constant ((v) . #ignore)
constant %uninterned:{not-pairᵒ}
cons
cons
cons
listN 46
call 3
varset #[var *kernel-module-env*]
constant #inert
return