@@ -38,27 +38,27 @@ Original unit: Question
38
38
Typing env:
39
39
((defined_symbols_without_equations ())
40
40
(code_age_relation
41
- {([0m[38;5;169;1mcamlQuestion__answer_0_1_code [0m [0m[38;5;169;1mcamlQuestion__answer_0_0_code [0m)})
41
+ {([0m[38;5;169;1mcamlQuestion.answer_0_1_code [0m [0m[38;5;169;1mcamlQuestion.answer_0_0_code [0m)})
42
42
(type_equations
43
43
{([0m[38;5;111;1m[0m[38;5;98;1mQuestion.camlQuestion[0m[38;5;111;1m[0m
44
44
(Val
45
45
(Variant
46
46
(blocks
47
47
((alloc_mode Heap) (known
48
- {(tag_0 => (Known 1), ((Val ([0m[38;5;160;1m=[0m [0m[38;5;111;1m[0m[38;5;98;1mQuestion.camlQuestion__answer_1 [0m[38;5;111;1m[0m))))})
48
+ {(tag_0 => (Known 1), ((Val ([0m[38;5;160;1m=[0m [0m[38;5;111;1m[0m[38;5;98;1mQuestion.camlQuestion.answer_1 [0m[38;5;111;1m[0m))))})
49
49
(other Bottom))) (tagged_imms (Naked_immediate [0m[38;5;37;1m⊥[0m)))))
50
- ([0m[38;5;111;1m[0m[38;5;98;1mQuestion.camlQuestion__answer_1 [0m[38;5;111;1m[0m
50
+ ([0m[38;5;111;1m[0m[38;5;98;1mQuestion.camlQuestion.answer_1 [0m[38;5;111;1m[0m
51
51
(Val
52
52
((alloc_mode Heap) (known
53
53
{([0m[38;5;31;1m(answer/0 ∷ [0m[38;5;37;1m𝕍[0m[38;5;31;1m)[0m
54
54
=> (Known ((closures { [0m[38;5;31;1m(answer/0 ∷ [0m[38;5;37;1m𝕍[0m[38;5;31;1m)[0m }) (value_slots { }))),
55
55
((function_types
56
56
{([0m[38;5;31;1m(answer/0 ∷ [0m[38;5;37;1m𝕍[0m[38;5;31;1m)[0m
57
- (Ok (function_type (code_id [0m[38;5;169;1mcamlQuestion__answer_0_1_code [0m)
57
+ (Ok (function_type (code_id [0m[38;5;169;1mcamlQuestion.answer_0_1_code [0m)
58
58
(rec_info (Rec_info [0m[38;5;249;1m0[0m)))))})
59
59
(closure_types
60
60
((function_slot_components_by_index
61
- {([0m[38;5;31;1m(answer/0 ∷ [0m[38;5;37;1m𝕍[0m[38;5;31;1m)[0m (Val ([0m[38;5;160;1m=[0m [0m[38;5;111;1m[0m[38;5;98;1mQuestion.camlQuestion__answer_1 [0m[38;5;111;1m[0m)))})))
61
+ {([0m[38;5;31;1m(answer/0 ∷ [0m[38;5;37;1m𝕍[0m[38;5;31;1m)[0m (Val ([0m[38;5;160;1m=[0m [0m[38;5;111;1m[0m[38;5;98;1mQuestion.camlQuestion.answer_1 [0m[38;5;111;1m[0m)))})))
62
62
(value_slot_types ((value_slot_components_by_index {})))))})
63
63
(other Bottom))))})
64
64
(aliases
0 commit comments