Revision e56414221fb67ecff7d071497f8ba5d20e9c5ba9 authored by Dzomo, the Everest Yak on 01 May 2020, 08:20:34 UTC, committed by Dzomo, the Everest Yak on 01 May 2020, 08:20:34 UTC
1 parent db297bf
Lib.LoopCombinators.fsti.hints
[
"!4�'d8�\u0013�\"�s����",
[
[
"Lib.LoopCombinators.repeat_left",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913",
"refinement_interpretation_Tm_refine_c7f248c50d182c40aac9022fc9a66edc"
],
0,
"a7033206073dcd9c4d9e6958def770ea"
],
[
"Lib.LoopCombinators.repeat_left_all_ml",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913",
"refinement_interpretation_Tm_refine_c7f248c50d182c40aac9022fc9a66edc"
],
0,
"dfd84519d517574892b7de311c70cd67"
],
[
"Lib.LoopCombinators.repeat_right",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913",
"refinement_interpretation_Tm_refine_c7f248c50d182c40aac9022fc9a66edc"
],
0,
"786bbd93c72fa507c16ea838f2724baf"
],
[
"Lib.LoopCombinators.repeat_right_all_ml",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913",
"refinement_interpretation_Tm_refine_c7f248c50d182c40aac9022fc9a66edc"
],
0,
"305cf5a525b37efa33ff258cbf71ccdb"
],
[
"Lib.LoopCombinators.repeat_right_plus",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913",
"refinement_interpretation_Tm_refine_c7f248c50d182c40aac9022fc9a66edc"
],
0,
"ac4aa437a4d839140fe0d914c3e76e71"
],
[
"Lib.LoopCombinators.unfold_repeat_right",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913",
"refinement_interpretation_Tm_refine_c7f248c50d182c40aac9022fc9a66edc"
],
0,
"5669562d08cfbe53af5f571f9da80a5b"
],
[
"Lib.LoopCombinators.eq_repeat_right",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913",
"refinement_interpretation_Tm_refine_c7f248c50d182c40aac9022fc9a66edc"
],
0,
"3a7b7a881388fb1462e63a4400cb28ad"
],
[
"Lib.LoopCombinators.repeat_left_right",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913",
"refinement_interpretation_Tm_refine_c7f248c50d182c40aac9022fc9a66edc"
],
0,
"98e6b68e8a90f9c17599de67e9d6fcdb"
],
[
"Lib.LoopCombinators.repeat_gen",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"87faf9ec740b984d2c48df1fbc2494ec"
],
[
"Lib.LoopCombinators.repeat_gen_all_ml",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"b27dcae605215ef2c62e1817d1acaa86"
],
[
"Lib.LoopCombinators.unfold_repeat_gen",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"0723fa98e3fa5a10102922b88332f34a"
],
[
"Lib.LoopCombinators.eq_repeat_gen0",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"62ed1aa97001f198882e50b0445a5ba7"
],
[
"Lib.LoopCombinators.repeat_gen_def",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"d4b0fded0027d7ed238fcf3356b99871"
],
[
"Lib.LoopCombinators.eq_repeati0",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2"
],
0,
"abeaa13d3c9819e3f36552997df0cb89"
],
[
"Lib.LoopCombinators.unfold_repeati",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"38cd60dd06a0ba15c80a1160a52f7c9d"
],
[
"Lib.LoopCombinators.repeati_def",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2"
],
0,
"7918a32f74972205a2995646f7170724"
],
[
"Lib.LoopCombinators.unfold_repeat",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"primitive_Prims.op_Addition", "projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"bbed81f88f08fcb6f23f5cdfa45057ef"
],
[
"Lib.LoopCombinators.repeatable",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"500dcb7226e6a6f9eb952da4ad602906"
],
[
"Lib.LoopCombinators.repeat_range_inductive",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query",
"refinement_interpretation_Tm_refine_571d9f74016be5357787170b42ecf913"
],
0,
"27864241e2757672852758f42f24a29e"
],
[
"Lib.LoopCombinators.repeati_inductive",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2"
],
0,
"9c573923e33116248245680fddfa23a9"
],
[
"Lib.LoopCombinators.repeati_inductive_repeat_gen",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2"
],
0,
"aa016b1cd142e7c73b7231757b326d23"
],
[
"Lib.LoopCombinators.preserves_predicate",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"fca78f8901e88e3b6a0d70673961e8c9"
],
[
"Lib.LoopCombinators.preserves_predicate",
2,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"primitive_Prims.op_Addition", "projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"dc9011088d991ad45b064fa6668e205d"
],
[
"Lib.LoopCombinators.repeat_gen_inductive",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"d603af49e626e0bb19d3e63635c6c0db"
],
[
"Lib.LoopCombinators.preserves",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"int_inversion", "primitive_Prims.op_Addition",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2",
"refinement_interpretation_Tm_refine_c1424615841f28cac7fc34e92b7ff33c"
],
0,
"c6cf1da982ae66ff5f80db80b9cbabcb"
],
[
"Lib.LoopCombinators.repeati_inductive'",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2"
],
0,
"ed3c715ae9e31d1368f18af4b625dd88"
]
]
]
Computing file changes ...
