extKanren module-toplevel byte code dump added by sytse on Fri Feb 5 13:40:53 2021
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