From 7eff8fe2cbda863c270a166dc6ddff6f09ff9e56 Mon Sep 17 00:00:00 2001 From: c-cube Date: Mon, 29 Nov 2021 00:14:38 +0000 Subject: [PATCH] deploy: bf1f9e7ce128c89135c062e56a09828b2c40c7cd --- dev/odoc.css | 422 +++++++++--------- .../Sidekick_base/Base_types/Cstor/index.html | 2 +- .../Sidekick_base/Base_types/Data/index.html | 2 +- .../Sidekick_base/Base_types/Fun/index.html | 2 +- .../Base_types/Select/index.html | 2 +- .../Base_types/Statement/index.html | 2 +- .../Base_types/Term/Iter_dag/index.html | 2 +- .../Base_types/Term/LRA/index.html | 2 +- .../Sidekick_base/Base_types/Term/index.html | 2 +- .../Term_cell/Make_eq/argument-1-X/index.html | 2 +- .../Base_types/Term_cell/Make_eq/index.html | 2 +- .../Base_types/Term_cell/index.html | 2 +- .../Term_cell/module-type-ARG/index.html | 2 +- .../Base_types/Ty/Fun/index.html | 2 +- .../Sidekick_base/Base_types/Ty/index.html | 2 +- .../Sidekick_base/Base_types/Value/index.html | 2 +- .../Sidekick_base/Base_types/index.html | 2 +- .../Sidekick_base/Form/Funs/index.html | 2 +- .../Sidekick_base/Form/Gensym/index.html | 2 +- .../Sidekick_base/Form/index.html | 2 +- dev/sidekick-base/Sidekick_base/ID/index.html | 2 +- .../Sidekick_base/Lit/index.html | 2 +- .../Model/Fun_interpretation/index.html | 2 +- .../Sidekick_base/Model/Val_map/index.html | 2 +- .../Sidekick_base/Model/index.html | 2 +- .../Sidekick_base/Proof/Config/index.html | 2 + .../Sidekick_base/Proof/Step_vec/index.html | 2 + .../Sidekick_base/Proof/Unsafe_/index.html | 2 + .../Sidekick_base/Proof/index.html | 2 + .../Proof_dummy/Step_vec/index.html | 2 + .../Sidekick_base/Proof_dummy/index.html | 3 + .../Sidekick_base/Proof_quip/index.html | 2 + .../Sidekick_base/Proof_stub/index.html | 2 - .../Sidekick_base/Solver_arg/Fun/index.html | 2 +- .../Sidekick_base/Solver_arg/Term/index.html | 6 +- .../Sidekick_base/Solver_arg/Ty/index.html | 2 +- .../Sidekick_base/Solver_arg/index.html | 2 +- dev/sidekick-base/Sidekick_base/index.html | 2 +- .../Base_types/Cstor/index.html | 2 - .../Base_types/Data/index.html | 2 - .../Sidekick_base__/Base_types/Fun/index.html | 2 - .../Base_types/Select/index.html | 2 - .../Base_types/Statement/index.html | 2 - .../Base_types/Term/Iter_dag/index.html | 2 - .../Base_types/Term/LRA/index.html | 2 - .../Base_types/Term/index.html | 2 - .../Term_cell/Make_eq/argument-1-X/index.html | 2 - .../Base_types/Term_cell/Make_eq/index.html | 2 - .../Base_types/Term_cell/index.html | 2 - .../Term_cell/module-type-ARG/index.html | 2 - .../Base_types/Ty/Fun/index.html | 2 - .../Sidekick_base__/Base_types/Ty/index.html | 2 - .../Base_types/Value/index.html | 2 - .../Sidekick_base__/Base_types/index.html | 2 - .../Sidekick_base__/CCHet/Key/index.html | 2 - .../Sidekick_base__/CCHet/Map/index.html | 2 - .../Sidekick_base__/CCHet/Tbl/index.html | 2 - .../Sidekick_base__/CCHet/index.html | 2 - .../Sidekick_base__/Config/Key/index.html | 2 - .../Sidekick_base__/Config/index.html | 2 - .../Sidekick_base__/Form/Funs/index.html | 2 - .../Sidekick_base__/Form/Gensym/index.html | 2 - .../Sidekick_base__/Form/index.html | 2 - .../Hashcons/Make/argument-1-A/index.html | 2 - .../Sidekick_base__/Hashcons/Make/index.html | 2 - .../Sidekick_base__/Hashcons/index.html | 2 - .../Hashcons/module-type-ARG/index.html | 2 - .../Sidekick_base__/ID/index.html | 2 - .../Sidekick_base__/Lit/index.html | 2 - .../Model/Fun_interpretation/index.html | 2 - .../Sidekick_base__/Model/Val_map/index.html | 2 - .../Sidekick_base__/Model/index.html | 2 - .../Sidekick_base__/Proof_stub/index.html | 2 - .../Sidekick_base__/Solver_arg/Fun/index.html | 2 - .../Solver_arg/Term/index.html | 8 - .../Sidekick_base__/Solver_arg/Ty/index.html | 2 - .../Sidekick_base__/Solver_arg/index.html | 2 - dev/sidekick-base/Sidekick_base__/index.html | 2 +- .../Cstor/index.html | 2 - .../Sidekick_base__Base_types/Data/index.html | 2 - .../Sidekick_base__Base_types/Fun/index.html | 2 - .../Select/index.html | 2 - .../Statement/index.html | 2 - .../Term/Iter_dag/index.html | 2 - .../Term/LRA/index.html | 2 - .../Sidekick_base__Base_types/Term/index.html | 2 - .../Term_cell/Make_eq/argument-1-X/index.html | 2 - .../Term_cell/Make_eq/index.html | 2 - .../Term_cell/index.html | 2 - .../Term_cell/module-type-ARG/index.html | 2 - .../Ty/Fun/index.html | 2 - .../Sidekick_base__Base_types/Ty/index.html | 2 - .../Value/index.html | 2 - .../Sidekick_base__Base_types/index.html | 2 +- .../Sidekick_base__CCHet/Key/index.html | 2 - .../Sidekick_base__CCHet/Map/index.html | 2 - .../Sidekick_base__CCHet/Tbl/index.html | 2 - .../Sidekick_base__CCHet/index.html | 2 +- .../Sidekick_base__Config/Key/index.html | 2 - .../Sidekick_base__Config/index.html | 2 +- .../Sidekick_base__Form/Funs/index.html | 2 - .../Sidekick_base__Form/Gensym/index.html | 2 - .../Sidekick_base__Form/index.html | 2 +- .../Make/argument-1-A/index.html | 2 - .../Sidekick_base__Hashcons/Make/index.html | 2 - .../Sidekick_base__Hashcons/index.html | 2 +- .../module-type-ARG/index.html | 2 - .../Sidekick_base__ID/index.html | 2 +- .../Sidekick_base__Lit/index.html | 2 +- .../Fun_interpretation/index.html | 2 - .../Sidekick_base__Model/Val_map/index.html | 2 - .../Sidekick_base__Model/index.html | 2 +- .../.dune-keep | 0 .../Sidekick_base__Proof/index.html | 2 + .../Sidekick_base__Proof_dummy/.dune-keep | 0 .../Sidekick_base__Proof_dummy/index.html | 2 + .../Sidekick_base__Proof_quip/.dune-keep | 0 .../Sidekick_base__Proof_quip/index.html | 2 + .../Sidekick_base__Proof_stub/index.html | 2 - .../Sidekick_base__Solver_arg/Fun/index.html | 2 - .../Sidekick_base__Solver_arg/Term/index.html | 8 - .../Sidekick_base__Solver_arg/Ty/index.html | 2 - .../Sidekick_base__Solver_arg/index.html | 2 +- .../Sidekick_base_proof_trace/.dune-keep | 0 .../Proof_ser/Bare/Decode/index.html | 2 + .../Proof_ser/Bare/Encode/index.html | 2 + .../Proof_ser/Bare/Pp/index.html | 2 + .../Proof_ser/Bare/String_map/index.html | 2 + .../Proof_ser/Bare/index.html | 2 + .../Proof_ser/Clause/index.html | 2 + .../Proof_ser/Expr_app/index.html | 2 + .../Proof_ser/Expr_bool/index.html | 2 + .../Proof_ser/Expr_def/index.html | 2 + .../Proof_ser/Expr_eq/index.html | 2 + .../Proof_ser/Expr_if/index.html | 2 + .../Proof_ser/Expr_not/index.html | 2 + .../Proof_ser/Fun_decl/index.html | 2 + .../Proof_ser/ID/index.html | 2 + .../Proof_ser/Lit/index.html | 2 + .../Proof_ser/Step/index.html | 2 + .../Proof_ser/Step_bool_c/index.html | 2 + .../Proof_ser/Step_bool_tauto/index.html | 2 + .../Proof_ser/Step_bridge_lit_expr/index.html | 2 + .../Proof_ser/Step_cc/index.html | 2 + .../Proof_ser/Step_clause_rw/index.html | 2 + .../Proof_ser/Step_input/index.html | 2 + .../Proof_ser/Step_preprocess/index.html | 2 + .../Proof_ser/Step_proof_p1/index.html | 2 + .../Proof_ser/Step_rup/index.html | 2 + .../Proof_ser/Step_true/index.html | 2 + .../Proof_ser/Step_unsat/index.html | 2 + .../Proof_ser/Step_view/index.html | 2 + .../Proof_ser/index.html | 2 + .../Storage/index.html | 2 + .../Sidekick_base_proof_trace/index.html | 2 + .../Sidekick_base_proof_trace__/.dune-keep | 0 .../Sidekick_base_proof_trace__/index.html | 2 + .../.dune-keep | 0 .../index.html | 2 + .../.dune-keep | 0 .../index.html | 2 + .../Solver/Lit/T/Fun/index.html | 2 +- .../Solver/Lit/T/Term/Tbl/index.html | 4 +- .../Solver/Lit/T/Term/index.html | 2 +- .../Solver/Lit/T/Ty/index.html | 2 +- .../Solver/Lit/T/index.html | 2 +- .../Solver/Lit/index.html | 2 +- .../Solver/Model/index.html | 2 +- .../Solver/P/Step_vec/index.html | 2 + .../Sidekick_base_solver/Solver/P/index.html | 2 +- .../CC/Actions/Lit/T/Fun/index.html | 2 +- .../CC/Actions/Lit/T/Term/Tbl/index.html | 4 +- .../CC/Actions/Lit/T/Term/index.html | 2 +- .../CC/Actions/Lit/T/Ty/index.html | 2 +- .../CC/Actions/Lit/T/index.html | 2 +- .../Solver_internal/CC/Actions/Lit/index.html | 2 +- .../Solver_internal/CC/Actions/P/index.html | 2 +- .../CC/Actions/T/Fun/index.html | 2 +- .../CC/Actions/T/Term/Tbl/index.html | 4 +- .../CC/Actions/T/Term/index.html | 2 +- .../CC/Actions/T/Ty/index.html | 2 +- .../Solver_internal/CC/Actions/T/index.html | 2 +- .../Solver_internal/CC/Actions/index.html | 2 +- .../Solver_internal/CC/Debug_/index.html | 2 +- .../Solver/Solver_internal/CC/Expl/index.html | 2 +- .../Solver_internal/CC/Lit/T/Fun/index.html | 2 +- .../CC/Lit/T/Term/Tbl/index.html | 4 +- .../Solver_internal/CC/Lit/T/Term/index.html | 2 +- .../Solver_internal/CC/Lit/T/Ty/index.html | 2 +- .../Solver_internal/CC/Lit/T/index.html | 2 +- .../Solver/Solver_internal/CC/Lit/index.html | 2 +- .../Solver/Solver_internal/CC/N/index.html | 2 +- .../Solver/Solver_internal/CC/P/index.html | 2 +- .../Solver_internal/CC/T/Fun/index.html | 2 +- .../Solver_internal/CC/T/Term/Tbl/index.html | 4 +- .../Solver_internal/CC/T/Term/index.html | 2 +- .../Solver/Solver_internal/CC/T/Ty/index.html | 2 +- .../Solver/Solver_internal/CC/T/index.html | 2 +- .../Solver/Solver_internal/CC/index.html | 4 +- .../Solver_internal/Lit/T/Fun/index.html | 2 +- .../Solver_internal/Lit/T/Term/Tbl/index.html | 4 +- .../Solver_internal/Lit/T/Term/index.html | 2 +- .../Solver_internal/Lit/T/Ty/index.html | 2 +- .../Solver/Solver_internal/Lit/T/index.html | 2 +- .../Solver/Solver_internal/Lit/index.html | 2 +- .../Solver_internal/P/Step_vec/index.html | 2 + .../Solver/Solver_internal/P/index.html | 2 +- .../Solver_internal/Simplify/index.html | 2 +- .../Solver/Solver_internal/T/Fun/index.html | 2 +- .../Solver_internal/T/Term/Tbl/index.html | 4 +- .../Solver/Solver_internal/T/Term/index.html | 2 +- .../Solver/Solver_internal/T/Ty/index.html | 2 +- .../Solver/Solver_internal/T/index.html | 2 +- .../Solver/Solver_internal/index.html | 2 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Solver/T/Fun/index.html | 2 +- .../Solver/T/Term/Tbl/index.html | 4 +- .../Solver/T/Term/index.html | 2 +- .../Solver/T/Ty/index.html | 2 +- .../Sidekick_base_solver/Solver/T/index.html | 2 +- .../Solver/Unknown/index.html | 2 +- .../Sidekick_base_solver/Solver/index.html | 5 +- .../Solver/module-type-THEORY/index.html | 2 +- .../Solver_arg/index.html | 2 +- .../Th_bool/A/Gensym/index.html | 2 +- .../Th_bool/A/S/Lit/T/Fun/index.html | 2 +- .../Th_bool/A/S/Lit/T/Term/Tbl/index.html | 4 +- .../Th_bool/A/S/Lit/T/Term/index.html | 2 +- .../Th_bool/A/S/Lit/T/Ty/index.html | 2 +- .../Th_bool/A/S/Lit/T/index.html | 2 +- .../Th_bool/A/S/Lit/index.html | 2 +- .../Th_bool/A/S/Model/index.html | 2 +- .../Th_bool/A/S/P/Step_vec/index.html | 2 + .../Th_bool/A/S/P/index.html | 2 +- .../CC/Actions/Lit/T/Fun/index.html | 2 +- .../CC/Actions/Lit/T/Term/Tbl/index.html | 4 +- .../CC/Actions/Lit/T/Term/index.html | 2 +- .../CC/Actions/Lit/T/Ty/index.html | 2 +- .../CC/Actions/Lit/T/index.html | 2 +- .../Solver_internal/CC/Actions/Lit/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../CC/Actions/T/Fun/index.html | 2 +- .../CC/Actions/T/Term/Tbl/index.html | 4 +- .../CC/Actions/T/Term/index.html | 2 +- .../CC/Actions/T/Ty/index.html | 2 +- .../S/Solver_internal/CC/Actions/T/index.html | 2 +- .../A/S/Solver_internal/CC/Actions/index.html | 2 +- .../A/S/Solver_internal/CC/Debug_/index.html | 2 +- .../A/S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/Lit/T/Fun/index.html | 2 +- .../CC/Lit/T/Term/Tbl/index.html | 4 +- .../Solver_internal/CC/Lit/T/Term/index.html | 2 +- .../S/Solver_internal/CC/Lit/T/Ty/index.html | 2 +- .../A/S/Solver_internal/CC/Lit/T/index.html | 2 +- .../A/S/Solver_internal/CC/Lit/index.html | 2 +- .../A/S/Solver_internal/CC/N/index.html | 2 +- .../A/S/Solver_internal/CC/P/index.html | 2 +- .../A/S/Solver_internal/CC/T/Fun/index.html | 2 +- .../Solver_internal/CC/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/CC/T/Term/index.html | 2 +- .../A/S/Solver_internal/CC/T/Ty/index.html | 2 +- .../A/S/Solver_internal/CC/T/index.html | 2 +- .../Th_bool/A/S/Solver_internal/CC/index.html | 4 +- .../A/S/Solver_internal/Lit/T/Fun/index.html | 2 +- .../Solver_internal/Lit/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/Lit/T/Term/index.html | 2 +- .../A/S/Solver_internal/Lit/T/Ty/index.html | 2 +- .../A/S/Solver_internal/Lit/T/index.html | 2 +- .../A/S/Solver_internal/Lit/index.html | 2 +- .../A/S/Solver_internal/P/Step_vec/index.html | 2 + .../Th_bool/A/S/Solver_internal/P/index.html | 2 +- .../A/S/Solver_internal/Simplify/index.html | 2 +- .../A/S/Solver_internal/T/Fun/index.html | 2 +- .../A/S/Solver_internal/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/T/Term/index.html | 2 +- .../A/S/Solver_internal/T/Ty/index.html | 2 +- .../Th_bool/A/S/Solver_internal/T/index.html | 2 +- .../Th_bool/A/S/Solver_internal/index.html | 2 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Th_bool/A/S/T/Fun/index.html | 2 +- .../Th_bool/A/S/T/Term/Tbl/index.html | 4 +- .../Th_bool/A/S/T/Term/index.html | 2 +- .../Th_bool/A/S/T/Ty/index.html | 2 +- .../Th_bool/A/S/T/index.html | 2 +- .../Th_bool/A/S/Unknown/index.html | 2 +- .../Th_bool/A/S/index.html | 5 +- .../Th_bool/A/S/module-type-THEORY/index.html | 2 +- .../Sidekick_base_solver/Th_bool/A/index.html | 2 +- .../Sidekick_base_solver/Th_bool/index.html | 2 +- .../Th_data/A/Cstor/index.html | 2 +- .../Th_data/A/S/Lit/T/Fun/index.html | 2 +- .../Th_data/A/S/Lit/T/Term/Tbl/index.html | 4 +- .../Th_data/A/S/Lit/T/Term/index.html | 2 +- .../Th_data/A/S/Lit/T/Ty/index.html | 2 +- .../Th_data/A/S/Lit/T/index.html | 2 +- .../Th_data/A/S/Lit/index.html | 2 +- .../Th_data/A/S/Model/index.html | 2 +- .../Th_data/A/S/P/Step_vec/index.html | 2 + .../Th_data/A/S/P/index.html | 2 +- .../CC/Actions/Lit/T/Fun/index.html | 2 +- .../CC/Actions/Lit/T/Term/Tbl/index.html | 4 +- .../CC/Actions/Lit/T/Term/index.html | 2 +- .../CC/Actions/Lit/T/Ty/index.html | 2 +- .../CC/Actions/Lit/T/index.html | 2 +- .../Solver_internal/CC/Actions/Lit/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../CC/Actions/T/Fun/index.html | 2 +- .../CC/Actions/T/Term/Tbl/index.html | 4 +- .../CC/Actions/T/Term/index.html | 2 +- .../CC/Actions/T/Ty/index.html | 2 +- .../S/Solver_internal/CC/Actions/T/index.html | 2 +- .../A/S/Solver_internal/CC/Actions/index.html | 2 +- .../A/S/Solver_internal/CC/Debug_/index.html | 2 +- .../A/S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/Lit/T/Fun/index.html | 2 +- .../CC/Lit/T/Term/Tbl/index.html | 4 +- .../Solver_internal/CC/Lit/T/Term/index.html | 2 +- .../S/Solver_internal/CC/Lit/T/Ty/index.html | 2 +- .../A/S/Solver_internal/CC/Lit/T/index.html | 2 +- .../A/S/Solver_internal/CC/Lit/index.html | 2 +- .../A/S/Solver_internal/CC/N/index.html | 2 +- .../A/S/Solver_internal/CC/P/index.html | 2 +- .../A/S/Solver_internal/CC/T/Fun/index.html | 2 +- .../Solver_internal/CC/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/CC/T/Term/index.html | 2 +- .../A/S/Solver_internal/CC/T/Ty/index.html | 2 +- .../A/S/Solver_internal/CC/T/index.html | 2 +- .../Th_data/A/S/Solver_internal/CC/index.html | 4 +- .../A/S/Solver_internal/Lit/T/Fun/index.html | 2 +- .../Solver_internal/Lit/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/Lit/T/Term/index.html | 2 +- .../A/S/Solver_internal/Lit/T/Ty/index.html | 2 +- .../A/S/Solver_internal/Lit/T/index.html | 2 +- .../A/S/Solver_internal/Lit/index.html | 2 +- .../A/S/Solver_internal/P/Step_vec/index.html | 2 + .../Th_data/A/S/Solver_internal/P/index.html | 2 +- .../A/S/Solver_internal/Simplify/index.html | 2 +- .../A/S/Solver_internal/T/Fun/index.html | 2 +- .../A/S/Solver_internal/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/T/Term/index.html | 2 +- .../A/S/Solver_internal/T/Ty/index.html | 2 +- .../Th_data/A/S/Solver_internal/T/index.html | 2 +- .../Th_data/A/S/Solver_internal/index.html | 2 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Th_data/A/S/T/Fun/index.html | 2 +- .../Th_data/A/S/T/Term/Tbl/index.html | 4 +- .../Th_data/A/S/T/Term/index.html | 2 +- .../Th_data/A/S/T/Ty/index.html | 2 +- .../Th_data/A/S/T/index.html | 2 +- .../Th_data/A/S/Unknown/index.html | 2 +- .../Th_data/A/S/index.html | 5 +- .../Th_data/A/S/module-type-THEORY/index.html | 2 +- .../Sidekick_base_solver/Th_data/A/index.html | 2 +- .../Sidekick_base_solver/Th_data/index.html | 2 +- .../Th_lra/A/Gensym/index.html | 2 +- .../Th_lra/A/Q/index.html | 2 +- .../Th_lra/A/S/Lit/T/Fun/index.html | 2 +- .../Th_lra/A/S/Lit/T/Term/Tbl/index.html | 4 +- .../Th_lra/A/S/Lit/T/Term/index.html | 2 +- .../Th_lra/A/S/Lit/T/Ty/index.html | 2 +- .../Th_lra/A/S/Lit/T/index.html | 2 +- .../Th_lra/A/S/Lit/index.html | 2 +- .../Th_lra/A/S/Model/index.html | 2 +- .../Th_lra/A/S/P/Step_vec/index.html | 2 + .../Th_lra/A/S/P/index.html | 2 +- .../CC/Actions/Lit/T/Fun/index.html | 2 +- .../CC/Actions/Lit/T/Term/Tbl/index.html | 4 +- .../CC/Actions/Lit/T/Term/index.html | 2 +- .../CC/Actions/Lit/T/Ty/index.html | 2 +- .../CC/Actions/Lit/T/index.html | 2 +- .../Solver_internal/CC/Actions/Lit/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../CC/Actions/T/Fun/index.html | 2 +- .../CC/Actions/T/Term/Tbl/index.html | 4 +- .../CC/Actions/T/Term/index.html | 2 +- .../CC/Actions/T/Ty/index.html | 2 +- .../S/Solver_internal/CC/Actions/T/index.html | 2 +- .../A/S/Solver_internal/CC/Actions/index.html | 2 +- .../A/S/Solver_internal/CC/Debug_/index.html | 2 +- .../A/S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/Lit/T/Fun/index.html | 2 +- .../CC/Lit/T/Term/Tbl/index.html | 4 +- .../Solver_internal/CC/Lit/T/Term/index.html | 2 +- .../S/Solver_internal/CC/Lit/T/Ty/index.html | 2 +- .../A/S/Solver_internal/CC/Lit/T/index.html | 2 +- .../A/S/Solver_internal/CC/Lit/index.html | 2 +- .../A/S/Solver_internal/CC/N/index.html | 2 +- .../A/S/Solver_internal/CC/P/index.html | 2 +- .../A/S/Solver_internal/CC/T/Fun/index.html | 2 +- .../Solver_internal/CC/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/CC/T/Term/index.html | 2 +- .../A/S/Solver_internal/CC/T/Ty/index.html | 2 +- .../A/S/Solver_internal/CC/T/index.html | 2 +- .../Th_lra/A/S/Solver_internal/CC/index.html | 4 +- .../A/S/Solver_internal/Lit/T/Fun/index.html | 2 +- .../Solver_internal/Lit/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/Lit/T/Term/index.html | 2 +- .../A/S/Solver_internal/Lit/T/Ty/index.html | 2 +- .../A/S/Solver_internal/Lit/T/index.html | 2 +- .../Th_lra/A/S/Solver_internal/Lit/index.html | 2 +- .../A/S/Solver_internal/P/Step_vec/index.html | 2 + .../Th_lra/A/S/Solver_internal/P/index.html | 2 +- .../A/S/Solver_internal/Simplify/index.html | 2 +- .../A/S/Solver_internal/T/Fun/index.html | 2 +- .../A/S/Solver_internal/T/Term/Tbl/index.html | 4 +- .../A/S/Solver_internal/T/Term/index.html | 2 +- .../A/S/Solver_internal/T/Ty/index.html | 2 +- .../Th_lra/A/S/Solver_internal/T/index.html | 2 +- .../Th_lra/A/S/Solver_internal/index.html | 2 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Th_lra/A/S/T/Fun/index.html | 2 +- .../Th_lra/A/S/T/Term/Tbl/index.html | 4 +- .../Th_lra/A/S/T/Term/index.html | 2 +- .../Th_lra/A/S/T/Ty/index.html | 2 +- .../Th_lra/A/S/T/index.html | 2 +- .../Th_lra/A/S/Unknown/index.html | 2 +- .../Th_lra/A/S/index.html | 5 +- .../Th_lra/A/S/module-type-THEORY/index.html | 2 +- .../Sidekick_base_solver/Th_lra/A/index.html | 2 +- .../Sidekick_base_solver/Th_lra/index.html | 2 +- .../Sidekick_base_solver/index.html | 2 +- dev/sidekick-base/index.html | 2 +- .../Sidekick_bin_lib/Dimacs_lexer/index.html | 2 +- .../Sidekick_bin_lib/Dimacs_parser/index.html | 2 +- .../Sidekick_bin_lib/Drup_lexer/index.html | 2 +- .../Sidekick_bin_lib/Drup_parser/index.html | 2 +- dev/sidekick-bin/Sidekick_bin_lib/index.html | 2 +- .../Dimacs_lexer/index.html | 2 - .../Dimacs_parser/index.html | 2 - .../Sidekick_bin_lib__/Drup_lexer/index.html | 2 - .../Sidekick_bin_lib__/Drup_parser/index.html | 2 - .../Sidekick_bin_lib__/index.html | 2 +- .../Sidekick_bin_lib__Dimacs_lexer/index.html | 2 +- .../index.html | 2 +- .../Sidekick_bin_lib__Drup_lexer/index.html | 2 +- .../Sidekick_bin_lib__Drup_parser/index.html | 2 +- .../Process/Check_cc/index.html | 2 +- .../Process/Solver/Lit/index.html | 2 +- .../Process/Solver/Model/index.html | 2 +- .../Process/Solver/P/Step_vec/index.html | 2 + .../Process/Solver/P/index.html | 2 +- .../Solver_internal/CC/Actions/P/index.html | 2 +- .../Solver_internal/CC/Actions/index.html | 2 +- .../Solver/Solver_internal/CC/Expl/index.html | 2 +- .../Solver/Solver_internal/CC/N/index.html | 2 +- .../Solver/Solver_internal/CC/P/index.html | 2 +- .../Solver/Solver_internal/CC/index.html | 4 +- .../Solver_internal/Simplify/index.html | 2 +- .../Process/Solver/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Process/Solver/T/Fun/index.html | 2 +- .../Process/Solver/T/Term/index.html | 6 +- .../Process/Solver/T/Ty/index.html | 2 +- .../Process/Solver/T/index.html | 2 +- .../Process/Solver/Unknown/index.html | 2 +- .../Sidekick_smtlib/Process/Solver/index.html | 5 +- .../Solver/module-type-THEORY/index.html | 2 +- .../Sidekick_smtlib/Process/index.html | 4 +- dev/sidekick-bin/Sidekick_smtlib/index.html | 2 +- .../Process/Check_cc/index.html | 2 - .../Process/Solver/Lit/index.html | 2 - .../Process/Solver/Model/index.html | 2 - .../Process/Solver/P/index.html | 2 - .../Solver_internal/CC/Actions/P/index.html | 2 - .../Solver_internal/CC/Actions/index.html | 2 - .../Solver/Solver_internal/CC/Expl/index.html | 2 - .../Solver/Solver_internal/CC/N/index.html | 2 - .../Solver/Solver_internal/CC/P/index.html | 2 - .../Solver/Solver_internal/CC/index.html | 2 - .../Solver_internal/Simplify/index.html | 2 - .../Process/Solver/Solver_internal/index.html | 2 - .../module-type-PREPROCESS_ACTS/index.html | 2 - .../Process/Solver/T/Fun/index.html | 2 - .../Process/Solver/T/Term/index.html | 8 - .../Process/Solver/T/Ty/index.html | 2 - .../Process/Solver/T/index.html | 2 - .../Process/Solver/Unknown/index.html | 2 - .../Process/Solver/index.html | 2 - .../Solver/module-type-THEORY/index.html | 2 - .../Sidekick_smtlib__/Process/index.html | 2 - .../Typecheck/Ctx/index.html | 2 - .../Sidekick_smtlib__/Typecheck/index.html | 2 - dev/sidekick-bin/Sidekick_smtlib__/index.html | 2 +- .../Check_cc/index.html | 2 - .../Solver/Lit/index.html | 2 - .../Solver/Model/index.html | 2 - .../Solver/P/index.html | 2 - .../Solver_internal/CC/Actions/P/index.html | 2 - .../Solver_internal/CC/Actions/index.html | 2 - .../Solver/Solver_internal/CC/Expl/index.html | 2 - .../Solver/Solver_internal/CC/N/index.html | 2 - .../Solver/Solver_internal/CC/P/index.html | 2 - .../Solver/Solver_internal/CC/index.html | 2 - .../Solver_internal/Simplify/index.html | 2 - .../Solver/Solver_internal/index.html | 2 - .../module-type-PREPROCESS_ACTS/index.html | 2 - .../Solver/T/Fun/index.html | 2 - .../Solver/T/Term/index.html | 8 - .../Solver/T/Ty/index.html | 2 - .../Solver/T/index.html | 2 - .../Solver/Unknown/index.html | 2 - .../Solver/index.html | 2 - .../Solver/module-type-THEORY/index.html | 2 - .../Sidekick_smtlib__Process/index.html | 2 +- .../Sidekick_smtlib__Typecheck/Ctx/index.html | 2 - .../Sidekick_smtlib__Typecheck/index.html | 2 +- dev/sidekick-bin/index.html | 2 +- dev/sidekick/Sidekick_arith/index.html | 2 +- .../Sidekick_arith/module-type-INT/index.html | 2 +- .../Sidekick_arith/module-type-NUM/index.html | 2 +- .../module-type-RATIONAL/index.html | 2 +- .../Linear_expr/Make/Comb/Infix/index.html | 2 +- .../Linear_expr/Make/Comb/index.html | 2 +- .../Linear_expr/Make/Constr/index.html | 2 +- .../Linear_expr/Make/Expr/Infix/index.html | 2 +- .../Linear_expr/Make/Expr/index.html | 2 +- .../Linear_expr/Make/argument-1-C/index.html | 2 +- .../Make/argument-2-Var/index.html | 2 +- .../Linear_expr/Make/index.html | 2 +- .../Sidekick_arith_lra/Linear_expr/index.html | 2 +- .../Linear_expr/module-type-COEFF/index.html | 2 +- .../Linear_expr/module-type-S/C/index.html | 2 +- .../module-type-S/Comb/Infix/index.html | 2 +- .../Linear_expr/module-type-S/Comb/index.html | 2 +- .../module-type-S/Constr/index.html | 2 +- .../module-type-S/Expr/Infix/index.html | 2 +- .../Linear_expr/module-type-S/Expr/index.html | 2 +- .../Linear_expr/module-type-S/Var/index.html | 2 +- .../Linear_expr/module-type-S/index.html | 2 +- .../Linear_expr/module-type-VAR/index.html | 2 +- .../Make/argument-1-A/Gensym/index.html | 2 +- .../Make/argument-1-A/Q/index.html | 2 +- .../Make/argument-1-A/S/Lit/index.html | 2 +- .../Make/argument-1-A/S/Model/index.html | 2 +- .../Make/argument-1-A/S/P/Step_vec/index.html | 2 + .../Make/argument-1-A/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/index.html | 2 +- .../S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/N/index.html | 2 +- .../S/Solver_internal/CC/P/index.html | 2 +- .../S/Solver_internal/CC/index.html | 4 +- .../S/Solver_internal/Simplify/index.html | 2 +- .../argument-1-A/S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Make/argument-1-A/S/T/Fun/index.html | 2 +- .../Make/argument-1-A/S/T/Term/index.html | 6 +- .../Make/argument-1-A/S/T/Ty/index.html | 2 +- .../Make/argument-1-A/S/T/index.html | 2 +- .../Make/argument-1-A/S/Unknown/index.html | 2 +- .../Make/argument-1-A/S/index.html | 5 +- .../S/module-type-THEORY/index.html | 2 +- .../Make/argument-1-A/index.html | 2 +- .../Sidekick_arith_lra/Make/index.html | 2 +- .../Sidekick_arith_lra/Predicate/index.html | 2 +- .../Simplex2/Make/Constraint/index.html | 2 +- .../Simplex2/Make/Subst/index.html | 2 +- .../Simplex2/Make/Unsat_cert/index.html | 2 +- .../Simplex2/Make/argument-1-Q/index.html | 2 +- .../Simplex2/Make/argument-2-Var/index.html | 2 +- .../Simplex2/Make/index.html | 2 +- .../Sidekick_arith_lra/Simplex2/Op/index.html | 2 +- .../Sidekick_arith_lra/Simplex2/index.html | 2 +- .../Simplex2/module-type-RATIONAL/index.html | 2 - .../module-type-S/Constraint/index.html | 2 +- .../Simplex2/module-type-S/Q/index.html | 2 +- .../Simplex2/module-type-S/Subst/index.html | 2 +- .../module-type-S/Unsat_cert/index.html | 2 +- .../Simplex2/module-type-S/V/index.html | 2 +- .../Simplex2/module-type-S/index.html | 2 +- .../Simplex2/module-type-VAR/index.html | 2 +- dev/sidekick/Sidekick_arith_lra/index.html | 2 +- .../module-type-ARG/Gensym/index.html | 2 +- .../module-type-ARG/Q/index.html | 2 +- .../module-type-ARG/S/Lit/index.html | 2 +- .../module-type-ARG/S/Model/index.html | 2 +- .../module-type-ARG/S/P/Step_vec/index.html | 2 + .../module-type-ARG/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/index.html | 2 +- .../S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/N/index.html | 2 +- .../S/Solver_internal/CC/P/index.html | 2 +- .../S/Solver_internal/CC/index.html | 4 +- .../S/Solver_internal/Simplify/index.html | 2 +- .../S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-ARG/S/T/Fun/index.html | 2 +- .../module-type-ARG/S/T/Term/index.html | 6 +- .../module-type-ARG/S/T/Ty/index.html | 2 +- .../module-type-ARG/S/T/index.html | 2 +- .../module-type-ARG/S/Unknown/index.html | 2 +- .../module-type-ARG/S/index.html | 5 +- .../S/module-type-THEORY/index.html | 2 +- .../module-type-ARG/index.html | 2 +- .../module-type-RATIONAL/index.html | 2 - .../module-type-S/A/Gensym/index.html | 2 +- .../module-type-S/A/Q/index.html | 2 +- .../module-type-S/A/S/Lit/index.html | 2 +- .../module-type-S/A/S/Model/index.html | 2 +- .../module-type-S/A/S/P/Step_vec/index.html | 2 + .../module-type-S/A/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../A/S/Solver_internal/CC/Actions/index.html | 2 +- .../A/S/Solver_internal/CC/Expl/index.html | 2 +- .../A/S/Solver_internal/CC/N/index.html | 2 +- .../A/S/Solver_internal/CC/P/index.html | 2 +- .../A/S/Solver_internal/CC/index.html | 4 +- .../A/S/Solver_internal/Simplify/index.html | 2 +- .../A/S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-S/A/S/T/Fun/index.html | 2 +- .../module-type-S/A/S/T/Term/index.html | 6 +- .../module-type-S/A/S/T/Ty/index.html | 2 +- .../module-type-S/A/S/T/index.html | 2 +- .../module-type-S/A/S/Unknown/index.html | 2 +- .../module-type-S/A/S/index.html | 5 +- .../A/S/module-type-THEORY/index.html | 2 +- .../module-type-S/A/index.html | 2 +- .../module-type-S/index.html | 2 +- .../Linear_expr/Make/Comb/Infix/index.html | 2 - .../Linear_expr/Make/Comb/index.html | 2 - .../Linear_expr/Make/Constr/index.html | 2 - .../Linear_expr/Make/Expr/Infix/index.html | 2 - .../Linear_expr/Make/Expr/index.html | 2 - .../Linear_expr/Make/argument-1-C/index.html | 2 - .../Make/argument-2-Var/index.html | 2 - .../Linear_expr/Make/index.html | 2 - .../Linear_expr/index.html | 2 - .../Linear_expr/module-type-COEFF/index.html | 2 - .../Linear_expr/module-type-S/C/index.html | 2 - .../module-type-S/Comb/Infix/index.html | 2 - .../Linear_expr/module-type-S/Comb/index.html | 2 - .../module-type-S/Constr/index.html | 2 - .../module-type-S/Expr/Infix/index.html | 2 - .../Linear_expr/module-type-S/Expr/index.html | 2 - .../Linear_expr/module-type-S/Var/index.html | 2 - .../Linear_expr/module-type-S/index.html | 2 - .../Linear_expr/module-type-VAR/index.html | 2 - .../Linear_expr_intf/index.html | 2 - .../module-type-COEFF/index.html | 2 - .../module-type-S/C/index.html | 2 - .../module-type-S/Comb/Infix/index.html | 2 - .../module-type-S/Comb/index.html | 2 - .../module-type-S/Constr/index.html | 2 - .../module-type-S/Expr/Infix/index.html | 2 - .../module-type-S/Expr/index.html | 2 - .../module-type-S/Var/index.html | 2 - .../Linear_expr_intf/module-type-S/index.html | 2 - .../module-type-VAR/index.html | 2 - .../Sidekick_arith_lra__/Predicate/index.html | 2 - .../Simplex2/Make/Constraint/index.html | 2 - .../Simplex2/Make/Subst/index.html | 2 - .../Simplex2/Make/Unsat_cert/index.html | 2 - .../Simplex2/Make/argument-1-Q/index.html | 2 - .../Simplex2/Make/argument-2-Var/index.html | 2 - .../Simplex2/Make/index.html | 2 - .../Simplex2/Op/index.html | 2 - .../Sidekick_arith_lra__/Simplex2/index.html | 2 - .../Simplex2/module-type-RATIONAL/index.html | 2 - .../module-type-S/Constraint/index.html | 2 - .../Simplex2/module-type-S/Q/index.html | 2 - .../Simplex2/module-type-S/Subst/index.html | 2 - .../module-type-S/Unsat_cert/index.html | 2 - .../Simplex2/module-type-S/V/index.html | 2 - .../Simplex2/module-type-S/index.html | 2 - .../Simplex2/module-type-VAR/index.html | 2 - .../Simplex_intf/index.html | 2 - .../module-type-RATIONAL/index.html | 2 - .../Simplex_intf/module-type-S/Q/index.html | 2 - .../Simplex_intf/module-type-S/index.html | 2 - .../module-type-S_FULL/L/C/index.html | 2 - .../L/Comb/Infix/index.html | 2 - .../module-type-S_FULL/L/Comb/index.html | 2 - .../module-type-S_FULL/L/Constr/index.html | 2 - .../L/Expr/Infix/index.html | 2 - .../module-type-S_FULL/L/Expr/index.html | 2 - .../module-type-S_FULL/L/Var/index.html | 2 - .../module-type-S_FULL/L/index.html | 2 - .../module-type-S_FULL/Q/index.html | 2 - .../module-type-S_FULL/index.html | 2 - dev/sidekick/Sidekick_arith_lra__/index.html | 2 +- .../Make/Comb/Infix/index.html | 2 - .../Make/Comb/index.html | 2 - .../Make/Constr/index.html | 2 - .../Make/Expr/Infix/index.html | 2 - .../Make/Expr/index.html | 2 - .../Make/argument-1-C/index.html | 2 - .../Make/argument-2-Var/index.html | 2 - .../Make/index.html | 2 - .../index.html | 2 +- .../module-type-COEFF/index.html | 2 - .../module-type-S/C/index.html | 2 - .../module-type-S/Comb/Infix/index.html | 2 - .../module-type-S/Comb/index.html | 2 - .../module-type-S/Constr/index.html | 2 - .../module-type-S/Expr/Infix/index.html | 2 - .../module-type-S/Expr/index.html | 2 - .../module-type-S/Var/index.html | 2 - .../module-type-S/index.html | 2 - .../module-type-VAR/index.html | 2 - .../index.html | 2 +- .../module-type-COEFF/index.html | 2 - .../module-type-S/C/index.html | 2 - .../module-type-S/Comb/Infix/index.html | 2 - .../module-type-S/Comb/index.html | 2 - .../module-type-S/Constr/index.html | 2 - .../module-type-S/Expr/Infix/index.html | 2 - .../module-type-S/Expr/index.html | 2 - .../module-type-S/Var/index.html | 2 - .../module-type-S/index.html | 2 - .../module-type-VAR/index.html | 2 - .../Sidekick_arith_lra__Predicate/index.html | 2 +- .../Make/Constraint/index.html | 2 - .../Make/Subst/index.html | 2 - .../Make/Unsat_cert/index.html | 2 - .../Make/argument-1-Q/index.html | 2 - .../Make/argument-2-Var/index.html | 2 - .../Make/index.html | 2 - .../Op/index.html | 2 - .../Sidekick_arith_lra__Simplex2/index.html | 2 +- .../module-type-RATIONAL/index.html | 2 - .../module-type-S/Constraint/index.html | 2 - .../module-type-S/Q/index.html | 2 - .../module-type-S/Subst/index.html | 2 - .../module-type-S/Unsat_cert/index.html | 2 - .../module-type-S/V/index.html | 2 - .../module-type-S/index.html | 2 - .../module-type-VAR/index.html | 2 - .../index.html | 2 +- .../module-type-RATIONAL/index.html | 2 - .../module-type-S/Q/index.html | 2 - .../module-type-S/index.html | 2 - .../module-type-S_FULL/L/C/index.html | 2 - .../L/Comb/Infix/index.html | 2 - .../module-type-S_FULL/L/Comb/index.html | 2 - .../module-type-S_FULL/L/Constr/index.html | 2 - .../L/Expr/Infix/index.html | 2 - .../module-type-S_FULL/L/Expr/index.html | 2 - .../module-type-S_FULL/L/Var/index.html | 2 - .../module-type-S_FULL/L/index.html | 2 - .../module-type-S_FULL/Q/index.html | 2 - .../module-type-S_FULL/index.html | 2 - dev/sidekick/Sidekick_cc/Make/Expl/index.html | 2 +- dev/sidekick/Sidekick_cc/Make/N/index.html | 2 +- dev/sidekick/Sidekick_cc/Make/P/index.html | 2 +- .../Make/argument-1-A/Actions/P/index.html | 2 +- .../Make/argument-1-A/Actions/index.html | 2 +- .../Make/argument-1-A/Lit/index.html | 2 +- .../Make/argument-1-A/P/index.html | 2 +- .../Make/argument-1-A/T/Fun/index.html | 2 +- .../Make/argument-1-A/T/Term/index.html | 6 +- .../Make/argument-1-A/T/Ty/index.html | 2 +- .../Make/argument-1-A/T/index.html | 2 +- .../Sidekick_cc/Make/argument-1-A/index.html | 2 +- dev/sidekick/Sidekick_cc/Make/index.html | 4 +- dev/sidekick/Sidekick_cc/index.html | 3 +- .../module-type-S/Actions/P/index.html | 2 - .../module-type-S/Actions/index.html | 2 - .../Sidekick_cc/module-type-S/Expl/index.html | 2 - .../Sidekick_cc/module-type-S/Lit/index.html | 2 - .../Sidekick_cc/module-type-S/N/index.html | 2 - .../Sidekick_cc/module-type-S/P/index.html | 2 - .../module-type-S/T/Fun/index.html | 2 - .../module-type-S/T/Term/index.html | 8 - .../Sidekick_cc/module-type-S/T/Ty/index.html | 2 - .../Sidekick_cc/module-type-S/T/index.html | 2 - .../Sidekick_cc/module-type-S/index.html | 2 - dev/sidekick/Sidekick_core/CC_view/index.html | 4 +- .../argument-1-M/SI/CC/Actions/P/index.html | 2 +- .../argument-1-M/SI/CC/Actions/index.html | 2 +- .../argument-1-M/SI/CC/Expl/index.html | 2 +- .../argument-1-M/SI/CC/N/index.html | 2 +- .../argument-1-M/SI/CC/P/index.html | 2 +- .../argument-1-M/SI/CC/index.html | 4 +- .../argument-1-M/SI/Lit/index.html | 2 +- .../argument-1-M/SI/P/Step_vec/index.html | 2 + .../argument-1-M/SI/P/index.html | 2 +- .../argument-1-M/SI/Simplify/index.html | 2 +- .../argument-1-M/SI/T/Fun/index.html | 2 +- .../argument-1-M/SI/T/Term/index.html | 6 +- .../argument-1-M/SI/T/Ty/index.html | 2 +- .../argument-1-M/SI/T/index.html | 2 +- .../Monoid_of_repr/argument-1-M/SI/index.html | 3 +- .../SI/module-type-PREPROCESS_ACTS/index.html | 2 +- .../Monoid_of_repr/argument-1-M/index.html | 2 +- .../Sidekick_core/Monoid_of_repr/index.html | 2 +- dev/sidekick/Sidekick_core/index.html | 2 +- .../module-type-CC_ACTIONS/Lit/index.html | 2 +- .../module-type-CC_ACTIONS/P/index.html | 2 +- .../module-type-CC_ACTIONS/T/Fun/index.html | 2 +- .../module-type-CC_ACTIONS/T/Term/index.html | 6 +- .../module-type-CC_ACTIONS/T/Ty/index.html | 2 +- .../module-type-CC_ACTIONS/T/index.html | 2 +- .../module-type-CC_ACTIONS/index.html | 2 +- .../module-type-CC_ARG/Actions/P/index.html | 2 +- .../module-type-CC_ARG/Actions/index.html | 2 +- .../module-type-CC_ARG/Lit/index.html | 2 +- .../module-type-CC_ARG/P/index.html | 2 +- .../module-type-CC_ARG/T/Fun/index.html | 2 +- .../module-type-CC_ARG/T/Term/index.html | 6 +- .../module-type-CC_ARG/T/Ty/index.html | 2 +- .../module-type-CC_ARG/T/index.html | 2 +- .../module-type-CC_ARG/index.html | 2 +- .../module-type-CC_PROOF/index.html | 2 +- .../module-type-CC_S/Actions/P/index.html | 2 +- .../module-type-CC_S/Actions/index.html | 2 +- .../module-type-CC_S/Expl/index.html | 2 +- .../module-type-CC_S/Lit/index.html | 2 +- .../module-type-CC_S/N/index.html | 2 +- .../module-type-CC_S/P/index.html | 2 +- .../module-type-CC_S/T/Fun/index.html | 2 +- .../module-type-CC_S/T/Term/index.html | 6 +- .../module-type-CC_S/T/Ty/index.html | 2 +- .../module-type-CC_S/T/index.html | 2 +- .../Sidekick_core/module-type-CC_S/index.html | 4 +- .../module-type-LIT/T/Fun/index.html | 2 +- .../module-type-LIT/T/Term/index.html | 6 +- .../module-type-LIT/T/Ty/index.html | 2 +- .../module-type-LIT/T/index.html | 2 +- .../Sidekick_core/module-type-LIT/index.html | 2 +- .../SI/CC/Actions/P/index.html | 2 +- .../SI/CC/Actions/index.html | 2 +- .../SI/CC/Expl/index.html | 2 +- .../module-type-MONOID_ARG/SI/CC/N/index.html | 2 +- .../module-type-MONOID_ARG/SI/CC/P/index.html | 2 +- .../module-type-MONOID_ARG/SI/CC/index.html | 4 +- .../module-type-MONOID_ARG/SI/Lit/index.html | 2 +- .../SI/P/Step_vec/index.html | 2 + .../module-type-MONOID_ARG/SI/P/index.html | 2 +- .../SI/Simplify/index.html | 2 +- .../SI/T/Fun/index.html | 2 +- .../SI/T/Term/index.html | 6 +- .../module-type-MONOID_ARG/SI/T/Ty/index.html | 2 +- .../module-type-MONOID_ARG/SI/T/index.html | 2 +- .../module-type-MONOID_ARG/SI/index.html | 3 +- .../SI/module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-MONOID_ARG/index.html | 2 +- .../module-type-PROOF/Step_vec/index.html | 2 + .../module-type-PROOF/index.html | 2 +- .../module-type-SAT_PROOF/Step_vec/index.html | 2 + .../module-type-SAT_PROOF/index.html | 2 +- .../module-type-SOLVER/Lit/index.html | 2 +- .../module-type-SOLVER/Model/index.html | 2 +- .../module-type-SOLVER/P/Step_vec/index.html | 2 + .../module-type-SOLVER/P/index.html | 2 +- .../Solver_internal/CC/Actions/P/index.html | 2 +- .../Solver_internal/CC/Actions/index.html | 2 +- .../Solver_internal/CC/Expl/index.html | 2 +- .../Solver_internal/CC/N/index.html | 2 +- .../Solver_internal/CC/P/index.html | 2 +- .../Solver_internal/CC/index.html | 4 +- .../Solver_internal/Simplify/index.html | 2 +- .../Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-SOLVER/T/Fun/index.html | 2 +- .../module-type-SOLVER/T/Term/index.html | 6 +- .../module-type-SOLVER/T/Ty/index.html | 2 +- .../module-type-SOLVER/T/index.html | 2 +- .../module-type-SOLVER/Unknown/index.html | 2 +- .../module-type-SOLVER/index.html | 5 +- .../module-type-THEORY/index.html | 2 +- .../CC/Actions/P/index.html | 2 +- .../CC/Actions/index.html | 2 +- .../CC/Expl/index.html | 2 +- .../CC/N/index.html | 2 +- .../CC/P/index.html | 2 +- .../module-type-SOLVER_INTERNAL/CC/index.html | 4 +- .../Lit/index.html | 2 +- .../P/Step_vec/index.html | 2 + .../module-type-SOLVER_INTERNAL/P/index.html | 2 +- .../Simplify/index.html | 2 +- .../T/Fun/index.html | 2 +- .../T/Term/index.html | 6 +- .../T/Ty/index.html | 2 +- .../module-type-SOLVER_INTERNAL/T/index.html | 2 +- .../module-type-SOLVER_INTERNAL/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-TERM/Fun/index.html | 2 +- .../module-type-TERM/Term/index.html | 6 +- .../module-type-TERM/Ty/index.html | 2 +- .../Sidekick_core/module-type-TERM/index.html | 2 +- .../Sidekick_drup/Make/Atom/index.html | 2 +- .../Sidekick_drup/Make/Checker/index.html | 2 +- .../Sidekick_drup/Make/Clause/index.html | 2 +- dev/sidekick/Sidekick_drup/Make/index.html | 2 +- dev/sidekick/Sidekick_drup/index.html | 2 +- .../module-type-S/Atom/index.html | 2 +- .../module-type-S/Checker/index.html | 2 +- .../module-type-S/Clause/index.html | 2 +- .../Sidekick_drup/module-type-S/index.html | 2 +- .../Make/argument-1-T/Fun/index.html | 2 +- .../Make/argument-1-T/Term/index.html | 6 +- .../Make/argument-1-T/Ty/index.html | 2 +- .../Sidekick_lit/Make/argument-1-T/index.html | 2 +- dev/sidekick/Sidekick_lit/Make/index.html | 2 +- dev/sidekick/Sidekick_lit/index.html | 2 +- dev/sidekick/Sidekick_memtrace/index.html | 2 +- .../Make/argument-1-A/T/Fun/index.html | 2 +- .../Make/argument-1-A/T/Term/index.html | 6 +- .../Make/argument-1-A/T/Ty/index.html | 2 +- .../Make/argument-1-A/T/index.html | 2 +- .../Make/argument-1-A/index.html | 2 +- dev/sidekick/Sidekick_mini_cc/Make/index.html | 2 +- dev/sidekick/Sidekick_mini_cc/index.html | 2 +- .../module-type-ARG/T/Fun/index.html | 2 +- .../module-type-ARG/T/Term/index.html | 6 +- .../module-type-ARG/T/Ty/index.html | 2 +- .../module-type-ARG/T/index.html | 2 +- .../module-type-ARG/index.html | 2 +- .../Sidekick_mini_cc/module-type-S/index.html | 2 +- dev/sidekick/Sidekick_quip/.dune-keep | 0 .../Sidekick_quip/Proof/Fun/index.html | 2 + .../Sidekick_quip/Proof/Lit/index.html | 2 + dev/sidekick/Sidekick_quip/Proof/T/index.html | 2 + .../Sidekick_quip/Proof/Ty/index.html | 2 + dev/sidekick/Sidekick_quip/Proof/index.html | 2 + dev/sidekick/Sidekick_quip/index.html | 2 + dev/sidekick/Sidekick_quip__/.dune-keep | 0 dev/sidekick/Sidekick_quip__/index.html | 2 + dev/sidekick/Sidekick_quip__Proof/.dune-keep | 0 dev/sidekick/Sidekick_quip__Proof/index.html | 2 + .../Solver/Make_cdcl_t/Clause/index.html | 2 +- .../Make_cdcl_t/argument-1-Th/Lit/index.html | 2 +- .../argument-1-Th/Proof/Step_vec/index.html | 2 + .../argument-1-Th/Proof/index.html | 2 +- .../Make_cdcl_t/argument-1-Th/index.html | 2 +- .../Solver/Make_cdcl_t/index.html | 4 +- .../Solver/Make_pure_sat/Clause/index.html | 2 +- .../argument-1-Th/Lit/index.html | 2 +- .../argument-1-Th/Proof/Step_vec/index.html | 2 + .../argument-1-Th/Proof/index.html | 2 +- .../Make_pure_sat/argument-1-Th/index.html | 2 +- .../Solver/Make_pure_sat/index.html | 4 +- dev/sidekick/Sidekick_sat/Solver/index.html | 4 +- .../Solver/module-type-S/Clause/index.html | 2 - .../Solver/module-type-S/Lit/index.html | 2 - .../Solver/module-type-S/Proof/index.html | 2 - .../Solver/module-type-S/index.html | 2 - .../Solver_intf/Clause_pool_id/index.html | 2 +- .../Sidekick_sat/Solver_intf/index.html | 2 +- .../Solver_intf/module-type-ACTS/index.html | 2 +- .../Solver_intf/module-type-LIT/index.html | 2 +- .../module-type-PLUGIN_CDCL_T/Lit/index.html | 2 +- .../Proof/Step_vec/index.html | 2 + .../Proof/index.html | 2 +- .../module-type-PLUGIN_CDCL_T/index.html | 2 +- .../module-type-PLUGIN_SAT/Lit/index.html | 2 +- .../Proof/Step_vec/index.html | 2 + .../module-type-PLUGIN_SAT/Proof/index.html | 2 +- .../module-type-PLUGIN_SAT/index.html | 2 +- .../Solver_intf/module-type-PROOF/index.html | 2 - .../module-type-S/Clause/index.html | 2 +- .../Solver_intf/module-type-S/Lit/index.html | 2 +- .../module-type-S/Proof/Step_vec/index.html | 2 + .../module-type-S/Proof/index.html | 2 +- .../Solver_intf/module-type-S/index.html | 4 +- .../module-type-SAT_STATE/index.html | 2 +- .../module-type-UNSAT_STATE/index.html | 2 +- dev/sidekick/Sidekick_sat/index.html | 2 +- .../Sidekick_sat/module-type-ACTS/index.html | 2 - .../Sidekick_sat/module-type-LIT/index.html | 2 - .../module-type-PLUGIN_CDCL_T/Lit/index.html | 2 - .../Proof/index.html | 2 - .../module-type-PLUGIN_CDCL_T/index.html | 2 - .../Sidekick_sat/module-type-PROOF/index.html | 2 - .../module-type-S/Clause/index.html | 2 - .../Sidekick_sat/module-type-S/Lit/index.html | 2 - .../module-type-S/Proof/index.html | 2 - .../Sidekick_sat/module-type-S/index.html | 2 - .../module-type-SAT_STATE/index.html | 2 - .../Heap/Make/argument-1-X/index.html | 2 - .../Sidekick_sat__/Heap/Make/index.html | 2 - dev/sidekick/Sidekick_sat__/Heap/index.html | 2 - .../Heap/module-type-RANKED/index.html | 2 - .../Heap/module-type-S/index.html | 2 - .../Sidekick_sat__/Heap_intf/index.html | 2 - .../Heap_intf/module-type-RANKED/index.html | 2 - .../Heap_intf/module-type-S/index.html | 2 - .../Solver/Make_cdcl_t/Clause/index.html | 2 - .../Make_cdcl_t/argument-1-Th/Lit/index.html | 2 - .../argument-1-Th/Proof/index.html | 2 - .../Make_cdcl_t/argument-1-Th/index.html | 2 - .../Solver/Make_cdcl_t/index.html | 2 - .../Solver/Make_pure_sat/Clause/index.html | 2 - .../argument-1-Th/Lit/index.html | 2 - .../argument-1-Th/Proof/index.html | 2 - .../Make_pure_sat/argument-1-Th/index.html | 2 - .../Solver/Make_pure_sat/index.html | 2 - dev/sidekick/Sidekick_sat__/Solver/index.html | 2 - .../Solver/module-type-S/Clause/index.html | 2 - .../Solver/module-type-S/Lit/index.html | 2 - .../Solver/module-type-S/Proof/index.html | 2 - .../Solver/module-type-S/index.html | 2 - .../Solver_intf/Clause_pool_id/index.html | 2 - .../Sidekick_sat__/Solver_intf/index.html | 2 - .../Solver_intf/module-type-ACTS/index.html | 2 - .../Solver_intf/module-type-LIT/index.html | 2 - .../module-type-PLUGIN_CDCL_T/Lit/index.html | 2 - .../Proof/index.html | 2 - .../module-type-PLUGIN_CDCL_T/index.html | 2 - .../module-type-PLUGIN_SAT/Lit/index.html | 2 - .../module-type-PLUGIN_SAT/Proof/index.html | 2 - .../module-type-PLUGIN_SAT/index.html | 2 - .../Solver_intf/module-type-PROOF/index.html | 2 - .../module-type-S/Clause/index.html | 2 - .../Solver_intf/module-type-S/Lit/index.html | 2 - .../module-type-S/Proof/index.html | 2 - .../Solver_intf/module-type-S/index.html | 2 - .../module-type-SAT_STATE/index.html | 2 - .../module-type-UNSAT_STATE/index.html | 2 - dev/sidekick/Sidekick_sat__/index.html | 2 +- .../Make/argument-1-X/index.html | 2 - .../Sidekick_sat__Heap/Make/index.html | 2 - dev/sidekick/Sidekick_sat__Heap/index.html | 2 +- .../module-type-RANKED/index.html | 2 - .../module-type-S/index.html | 2 - .../Sidekick_sat__Heap_intf/index.html | 2 +- .../module-type-RANKED/index.html | 2 - .../module-type-S/index.html | 2 - .../Make_cdcl_t/Clause/index.html | 2 - .../Make_cdcl_t/argument-1-Th/Lit/index.html | 2 - .../argument-1-Th/Proof/index.html | 2 - .../Make_cdcl_t/argument-1-Th/index.html | 2 - .../Make_cdcl_t/index.html | 2 - .../Make_pure_sat/Clause/index.html | 2 - .../argument-1-Th/Lit/index.html | 2 - .../argument-1-Th/Proof/index.html | 2 - .../Make_pure_sat/argument-1-Th/index.html | 2 - .../Make_pure_sat/index.html | 2 - dev/sidekick/Sidekick_sat__Solver/index.html | 2 +- .../module-type-S/Clause/index.html | 2 - .../module-type-S/Lit/index.html | 2 - .../module-type-S/Proof/index.html | 2 - .../module-type-S/index.html | 2 - .../Clause_pool_id/index.html | 2 - .../Sidekick_sat__Solver_intf/index.html | 2 +- .../module-type-ACTS/index.html | 2 - .../module-type-LIT/index.html | 2 - .../module-type-PLUGIN_CDCL_T/Lit/index.html | 2 - .../Proof/index.html | 2 - .../module-type-PLUGIN_CDCL_T/index.html | 2 - .../module-type-PLUGIN_SAT/Lit/index.html | 2 - .../module-type-PLUGIN_SAT/Proof/index.html | 2 - .../module-type-PLUGIN_SAT/index.html | 2 - .../module-type-PROOF/index.html | 2 - .../module-type-S/Clause/index.html | 2 - .../module-type-S/Lit/index.html | 2 - .../module-type-S/Proof/index.html | 2 - .../module-type-S/index.html | 2 - .../module-type-SAT_STATE/index.html | 2 - .../module-type-UNSAT_STATE/index.html | 2 - dev/sidekick/Sidekick_sigs/index.html | 2 +- .../Sidekick_sigs/module-type-EQ/index.html | 2 +- .../Sidekick_sigs/module-type-HASH/index.html | 2 +- .../Sidekick_sigs/module-type-ORD/index.html | 2 +- .../module-type-PRINT/index.html | 2 +- .../Sidekick_smt_solver/Make/Model/index.html | 2 +- .../Solver_internal/CC/Actions/P/index.html | 2 +- .../Solver_internal/CC/Actions/index.html | 2 +- .../Make/Solver_internal/CC/Expl/index.html | 2 +- .../Make/Solver_internal/CC/N/index.html | 2 +- .../Make/Solver_internal/CC/P/index.html | 2 +- .../Make/Solver_internal/CC/index.html | 4 +- .../Make/Solver_internal/Simplify/index.html | 2 +- .../Make/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Make/Unknown/index.html | 2 +- .../Make/argument-1-A/Lit/index.html | 2 +- .../Make/argument-1-A/P/Step_vec/index.html | 2 + .../Make/argument-1-A/P/index.html | 2 +- .../Make/argument-1-A/T/Fun/index.html | 2 +- .../Make/argument-1-A/T/Term/index.html | 6 +- .../Make/argument-1-A/T/Ty/index.html | 2 +- .../Make/argument-1-A/T/index.html | 2 +- .../Make/argument-1-A/index.html | 2 +- .../Sidekick_smt_solver/Make/index.html | 5 +- .../Make/module-type-THEORY/index.html | 2 +- dev/sidekick/Sidekick_smt_solver/index.html | 3 +- .../module-type-ARG/Lit/index.html | 2 +- .../module-type-ARG/P/Step_vec/index.html | 2 + .../module-type-ARG/P/index.html | 2 +- .../module-type-ARG/T/Fun/index.html | 2 +- .../module-type-ARG/T/Term/index.html | 6 +- .../module-type-ARG/T/Ty/index.html | 2 +- .../module-type-ARG/T/index.html | 2 +- .../module-type-ARG/index.html | 2 +- .../module-type-S/Lit/index.html | 2 - .../module-type-S/Model/index.html | 2 - .../module-type-S/P/index.html | 2 - .../Solver_internal/CC/Actions/P/index.html | 2 - .../Solver_internal/CC/Actions/index.html | 2 - .../Solver_internal/CC/Expl/index.html | 2 - .../Solver_internal/CC/N/index.html | 2 - .../Solver_internal/CC/P/index.html | 2 - .../Solver_internal/CC/index.html | 2 - .../Solver_internal/Simplify/index.html | 2 - .../module-type-S/Solver_internal/index.html | 2 - .../module-type-PREPROCESS_ACTS/index.html | 2 - .../module-type-S/T/Fun/index.html | 2 - .../module-type-S/T/Term/index.html | 8 - .../module-type-S/T/Ty/index.html | 2 - .../module-type-S/T/index.html | 2 - .../module-type-S/Unknown/index.html | 2 - .../module-type-S/index.html | 2 - .../module-type-THEORY/index.html | 2 - dev/sidekick/Sidekick_tef/index.html | 2 +- .../Make/argument-1-A/Gensym/index.html | 2 +- .../Make/argument-1-A/S/Lit/index.html | 2 +- .../Make/argument-1-A/S/Model/index.html | 2 +- .../Make/argument-1-A/S/P/Step_vec/index.html | 2 + .../Make/argument-1-A/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/index.html | 2 +- .../S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/N/index.html | 2 +- .../S/Solver_internal/CC/P/index.html | 2 +- .../S/Solver_internal/CC/index.html | 4 +- .../S/Solver_internal/Simplify/index.html | 2 +- .../argument-1-A/S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Make/argument-1-A/S/T/Fun/index.html | 2 +- .../Make/argument-1-A/S/T/Term/index.html | 6 +- .../Make/argument-1-A/S/T/Ty/index.html | 2 +- .../Make/argument-1-A/S/T/index.html | 2 +- .../Make/argument-1-A/S/Unknown/index.html | 2 +- .../Make/argument-1-A/S/index.html | 5 +- .../S/module-type-THEORY/index.html | 2 +- .../Make/argument-1-A/index.html | 2 +- .../Sidekick_th_bool_static/Make/index.html | 2 +- .../Sidekick_th_bool_static/index.html | 2 +- .../module-type-ARG/Gensym/index.html | 2 +- .../module-type-ARG/S/Lit/index.html | 2 +- .../module-type-ARG/S/Model/index.html | 2 +- .../module-type-ARG/S/P/Step_vec/index.html | 2 + .../module-type-ARG/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/index.html | 2 +- .../S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/N/index.html | 2 +- .../S/Solver_internal/CC/P/index.html | 2 +- .../S/Solver_internal/CC/index.html | 4 +- .../S/Solver_internal/Simplify/index.html | 2 +- .../S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-ARG/S/T/Fun/index.html | 2 +- .../module-type-ARG/S/T/Term/index.html | 6 +- .../module-type-ARG/S/T/Ty/index.html | 2 +- .../module-type-ARG/S/T/index.html | 2 +- .../module-type-ARG/S/Unknown/index.html | 2 +- .../module-type-ARG/S/index.html | 5 +- .../S/module-type-THEORY/index.html | 2 +- .../module-type-ARG/index.html | 2 +- .../module-type-PROOF/index.html | 2 + .../module-type-S/A/Gensym/index.html | 2 +- .../module-type-S/A/S/Lit/index.html | 2 +- .../module-type-S/A/S/Model/index.html | 2 +- .../module-type-S/A/S/P/Step_vec/index.html | 2 + .../module-type-S/A/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../A/S/Solver_internal/CC/Actions/index.html | 2 +- .../A/S/Solver_internal/CC/Expl/index.html | 2 +- .../A/S/Solver_internal/CC/N/index.html | 2 +- .../A/S/Solver_internal/CC/P/index.html | 2 +- .../A/S/Solver_internal/CC/index.html | 4 +- .../A/S/Solver_internal/Simplify/index.html | 2 +- .../A/S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-S/A/S/T/Fun/index.html | 2 +- .../module-type-S/A/S/T/Term/index.html | 6 +- .../module-type-S/A/S/T/Ty/index.html | 2 +- .../module-type-S/A/S/T/index.html | 2 +- .../module-type-S/A/S/Unknown/index.html | 2 +- .../module-type-S/A/S/index.html | 5 +- .../A/S/module-type-THEORY/index.html | 2 +- .../module-type-S/A/index.html | 2 +- .../module-type-S/index.html | 2 +- .../Make/argument-1-A/S/Lit/index.html | 2 +- .../Make/argument-1-A/S/Model/index.html | 2 +- .../Make/argument-1-A/S/P/Step_vec/index.html | 2 + .../Make/argument-1-A/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/index.html | 2 +- .../S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/N/index.html | 2 +- .../S/Solver_internal/CC/P/index.html | 2 +- .../S/Solver_internal/CC/index.html | 4 +- .../S/Solver_internal/Simplify/index.html | 2 +- .../argument-1-A/S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Make/argument-1-A/S/T/Fun/index.html | 2 +- .../Make/argument-1-A/S/T/Term/index.html | 6 +- .../Make/argument-1-A/S/T/Ty/index.html | 2 +- .../Make/argument-1-A/S/T/index.html | 2 +- .../Make/argument-1-A/S/Unknown/index.html | 2 +- .../Make/argument-1-A/S/index.html | 5 +- .../S/module-type-THEORY/index.html | 2 +- .../Make/argument-1-A/index.html | 2 +- .../Sidekick_th_cstor/Make/index.html | 2 +- dev/sidekick/Sidekick_th_cstor/index.html | 2 +- .../module-type-ARG/S/Lit/index.html | 2 +- .../module-type-ARG/S/Model/index.html | 2 +- .../module-type-ARG/S/P/Step_vec/index.html | 2 + .../module-type-ARG/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/index.html | 2 +- .../S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/N/index.html | 2 +- .../S/Solver_internal/CC/P/index.html | 2 +- .../S/Solver_internal/CC/index.html | 4 +- .../S/Solver_internal/Simplify/index.html | 2 +- .../S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-ARG/S/T/Fun/index.html | 2 +- .../module-type-ARG/S/T/Term/index.html | 6 +- .../module-type-ARG/S/T/Ty/index.html | 2 +- .../module-type-ARG/S/T/index.html | 2 +- .../module-type-ARG/S/Unknown/index.html | 2 +- .../module-type-ARG/S/index.html | 5 +- .../S/module-type-THEORY/index.html | 2 +- .../module-type-ARG/index.html | 2 +- .../module-type-S/A/S/Lit/index.html | 2 +- .../module-type-S/A/S/Model/index.html | 2 +- .../module-type-S/A/S/P/Step_vec/index.html | 2 + .../module-type-S/A/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../A/S/Solver_internal/CC/Actions/index.html | 2 +- .../A/S/Solver_internal/CC/Expl/index.html | 2 +- .../A/S/Solver_internal/CC/N/index.html | 2 +- .../A/S/Solver_internal/CC/P/index.html | 2 +- .../A/S/Solver_internal/CC/index.html | 4 +- .../A/S/Solver_internal/Simplify/index.html | 2 +- .../A/S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-S/A/S/T/Fun/index.html | 2 +- .../module-type-S/A/S/T/Term/index.html | 6 +- .../module-type-S/A/S/T/Ty/index.html | 2 +- .../module-type-S/A/S/T/index.html | 2 +- .../module-type-S/A/S/Unknown/index.html | 2 +- .../module-type-S/A/S/index.html | 5 +- .../A/S/module-type-THEORY/index.html | 2 +- .../module-type-S/A/index.html | 2 +- .../module-type-S/index.html | 2 +- .../Make/argument-1-A/Cstor/index.html | 2 +- .../Make/argument-1-A/S/Lit/index.html | 2 +- .../Make/argument-1-A/S/Model/index.html | 2 +- .../Make/argument-1-A/S/P/Step_vec/index.html | 2 + .../Make/argument-1-A/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/index.html | 2 +- .../S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/N/index.html | 2 +- .../S/Solver_internal/CC/P/index.html | 2 +- .../S/Solver_internal/CC/index.html | 4 +- .../S/Solver_internal/Simplify/index.html | 2 +- .../argument-1-A/S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../Make/argument-1-A/S/T/Fun/index.html | 2 +- .../Make/argument-1-A/S/T/Term/index.html | 6 +- .../Make/argument-1-A/S/T/Ty/index.html | 2 +- .../Make/argument-1-A/S/T/index.html | 2 +- .../Make/argument-1-A/S/Unknown/index.html | 2 +- .../Make/argument-1-A/S/index.html | 5 +- .../S/module-type-THEORY/index.html | 2 +- .../Make/argument-1-A/index.html | 2 +- dev/sidekick/Sidekick_th_data/Make/index.html | 2 +- dev/sidekick/Sidekick_th_data/index.html | 2 +- .../module-type-ARG/Cstor/index.html | 2 +- .../module-type-ARG/S/Lit/index.html | 2 +- .../module-type-ARG/S/Model/index.html | 2 +- .../module-type-ARG/S/P/Step_vec/index.html | 2 + .../module-type-ARG/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/index.html | 2 +- .../S/Solver_internal/CC/Expl/index.html | 2 +- .../S/Solver_internal/CC/N/index.html | 2 +- .../S/Solver_internal/CC/P/index.html | 2 +- .../S/Solver_internal/CC/index.html | 4 +- .../S/Solver_internal/Simplify/index.html | 2 +- .../S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-ARG/S/T/Fun/index.html | 2 +- .../module-type-ARG/S/T/Term/index.html | 6 +- .../module-type-ARG/S/T/Ty/index.html | 2 +- .../module-type-ARG/S/T/index.html | 2 +- .../module-type-ARG/S/Unknown/index.html | 2 +- .../module-type-ARG/S/index.html | 5 +- .../S/module-type-THEORY/index.html | 2 +- .../module-type-ARG/index.html | 2 +- .../module-type-PROOF/index.html | 2 + .../module-type-S/A/Cstor/index.html | 2 +- .../module-type-S/A/S/Lit/index.html | 2 +- .../module-type-S/A/S/Model/index.html | 2 +- .../module-type-S/A/S/P/Step_vec/index.html | 2 + .../module-type-S/A/S/P/index.html | 2 +- .../S/Solver_internal/CC/Actions/P/index.html | 2 +- .../A/S/Solver_internal/CC/Actions/index.html | 2 +- .../A/S/Solver_internal/CC/Expl/index.html | 2 +- .../A/S/Solver_internal/CC/N/index.html | 2 +- .../A/S/Solver_internal/CC/P/index.html | 2 +- .../A/S/Solver_internal/CC/index.html | 4 +- .../A/S/Solver_internal/Simplify/index.html | 2 +- .../A/S/Solver_internal/index.html | 3 +- .../module-type-PREPROCESS_ACTS/index.html | 2 +- .../module-type-S/A/S/T/Fun/index.html | 2 +- .../module-type-S/A/S/T/Term/index.html | 6 +- .../module-type-S/A/S/T/Ty/index.html | 2 +- .../module-type-S/A/S/T/index.html | 2 +- .../module-type-S/A/S/Unknown/index.html | 2 +- .../module-type-S/A/S/index.html | 5 +- .../A/S/module-type-THEORY/index.html | 2 +- .../module-type-S/A/index.html | 2 +- .../Sidekick_th_data/module-type-S/index.html | 2 +- .../Sidekick_th_data__/Types/index.html | 2 - dev/sidekick/Sidekick_th_data__/index.html | 2 +- .../Sidekick_th_data__Th_intf/.dune-keep | 0 .../Sidekick_th_data__Th_intf/index.html | 2 + .../Sidekick_th_data__Types/index.html | 2 +- .../Sidekick_util/Backtrack_stack/index.html | 2 +- .../Make/argument-1-A/index.html | 2 +- .../Backtrackable_tbl/Make/index.html | 2 +- .../Backtrackable_tbl/index.html | 2 +- .../module-type-ARG/index.html | 2 +- .../module-type-S/index.html | 2 +- dev/sidekick/Sidekick_util/Bag/index.html | 2 +- dev/sidekick/Sidekick_util/Bitvec/index.html | 2 +- .../Sidekick_util/Chunk_stack/Buf/index.html | 2 + .../Chunk_stack/Reader/index.html | 2 + .../Chunk_stack/Writer/index.html | 2 + .../Sidekick_util/Chunk_stack/index.html | 2 + dev/sidekick/Sidekick_util/Error/index.html | 2 +- dev/sidekick/Sidekick_util/Hash/index.html | 2 +- dev/sidekick/Sidekick_util/IArray/index.html | 2 +- .../Sidekick_util/Int_id/Make/index.html | 2 +- dev/sidekick/Sidekick_util/Int_id/index.html | 2 +- .../Int_id/module-type-S/index.html | 2 +- dev/sidekick/Sidekick_util/Log/index.html | 2 +- .../Sidekick_util/Profile/Control/index.html | 2 +- dev/sidekick/Sidekick_util/Profile/index.html | 2 +- .../Profile/module-type-BACKEND/index.html | 2 +- dev/sidekick/Sidekick_util/Stat/index.html | 2 +- dev/sidekick/Sidekick_util/Util/index.html | 2 +- dev/sidekick/Sidekick_util/Vec/index.html | 3 +- dev/sidekick/Sidekick_util/VecI32/index.html | 2 +- .../Sidekick_util/VecSmallInt/index.html | 2 + .../Sidekick_util/Vec_float/index.html | 2 +- .../Make_extensions/argument-1-B/index.html | 2 +- .../Vec_sig/Make_extensions/index.html | 2 +- dev/sidekick/Sidekick_util/Vec_sig/index.html | 2 +- .../Vec_sig/module-type-BASE/index.html | 2 +- .../Vec_sig/module-type-BASE_RO/index.html | 2 +- .../Vec_sig/module-type-EXTENSIONS/index.html | 2 +- .../Vec_sig/module-type-S/index.html | 2 +- .../Sidekick_util/Vec_unit/index.html | 2 + dev/sidekick/Sidekick_util/index.html | 2 +- .../Backtrack_stack/index.html | 2 - .../Make/argument-1-A/index.html | 2 - .../Backtrackable_tbl/Make/index.html | 2 - .../Backtrackable_tbl/index.html | 2 - .../module-type-ARG/index.html | 2 - .../module-type-S/index.html | 2 - dev/sidekick/Sidekick_util__/Bag/index.html | 2 - .../Sidekick_util__/Bitvec/index.html | 2 - dev/sidekick/Sidekick_util__/Error/index.html | 2 - dev/sidekick/Sidekick_util__/Hash/index.html | 2 - .../Sidekick_util__/IArray/index.html | 2 - .../Sidekick_util__/Int_id/Make/index.html | 2 - .../Sidekick_util__/Int_id/index.html | 2 - .../Int_id/module-type-S/index.html | 2 - dev/sidekick/Sidekick_util__/Log/index.html | 2 - .../Profile/Control/index.html | 2 - .../Sidekick_util__/Profile/index.html | 2 - .../Profile/module-type-BACKEND/index.html | 2 - dev/sidekick/Sidekick_util__/Stat/index.html | 2 - dev/sidekick/Sidekick_util__/Util/index.html | 2 - dev/sidekick/Sidekick_util__/Vec/index.html | 2 - .../Sidekick_util__/VecI32/index.html | 2 - .../Sidekick_util__/Vec_float/index.html | 2 - .../Make_extensions/argument-1-B/index.html | 2 - .../Vec_sig/Make_extensions/index.html | 2 - .../Sidekick_util__/Vec_sig/index.html | 2 - .../Vec_sig/module-type-BASE/index.html | 2 - .../Vec_sig/module-type-BASE_RO/index.html | 2 - .../Vec_sig/module-type-EXTENSIONS/index.html | 2 - .../Vec_sig/module-type-S/index.html | 2 - dev/sidekick/Sidekick_util__/index.html | 2 +- .../Sidekick_util__Backtrack_stack/index.html | 2 +- .../Make/argument-1-A/index.html | 2 - .../Make/index.html | 2 - .../index.html | 2 +- .../module-type-ARG/index.html | 2 - .../module-type-S/index.html | 2 - dev/sidekick/Sidekick_util__Bag/index.html | 2 +- dev/sidekick/Sidekick_util__Bitvec/index.html | 2 +- .../Sidekick_util__Chunk_stack/.dune-keep | 0 .../Sidekick_util__Chunk_stack/index.html | 2 + dev/sidekick/Sidekick_util__Error/index.html | 2 +- dev/sidekick/Sidekick_util__Hash/index.html | 2 +- dev/sidekick/Sidekick_util__IArray/index.html | 2 +- .../Sidekick_util__Int_id/Make/index.html | 2 - dev/sidekick/Sidekick_util__Int_id/index.html | 2 +- .../module-type-S/index.html | 2 - dev/sidekick/Sidekick_util__Log/index.html | 2 +- .../Sidekick_util__Profile/Control/index.html | 2 - .../Sidekick_util__Profile/index.html | 2 +- .../module-type-BACKEND/index.html | 2 - dev/sidekick/Sidekick_util__Stat/index.html | 2 +- dev/sidekick/Sidekick_util__Util/index.html | 2 +- dev/sidekick/Sidekick_util__Vec/index.html | 2 +- dev/sidekick/Sidekick_util__VecI32/index.html | 2 +- .../Sidekick_util__VecSmallInt/.dune-keep | 0 .../Sidekick_util__VecSmallInt/index.html | 2 + .../Sidekick_util__Vec_float/index.html | 2 +- .../Make_extensions/argument-1-B/index.html | 2 - .../Make_extensions/index.html | 2 - .../Sidekick_util__Vec_sig/index.html | 2 +- .../module-type-BASE/index.html | 2 - .../module-type-BASE_RO/index.html | 2 - .../module-type-EXTENSIONS/index.html | 2 - .../module-type-S/index.html | 2 - .../Sidekick_util__Vec_unit/.dune-keep | 0 .../Sidekick_util__Vec_unit/index.html | 2 + dev/sidekick/Sidekick_zarith/Int/index.html | 2 +- .../Sidekick_zarith/Rational/index.html | 2 +- dev/sidekick/Sidekick_zarith/index.html | 2 +- dev/sidekick/index.html | 2 +- 1426 files changed, 1586 insertions(+), 2013 deletions(-) create mode 100644 dev/sidekick-base/Sidekick_base/Proof/Config/index.html create mode 100644 dev/sidekick-base/Sidekick_base/Proof/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base/Proof/Unsafe_/index.html create mode 100644 dev/sidekick-base/Sidekick_base/Proof/index.html create mode 100644 dev/sidekick-base/Sidekick_base/Proof_dummy/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base/Proof_dummy/index.html create mode 100644 dev/sidekick-base/Sidekick_base/Proof_quip/index.html delete mode 100644 dev/sidekick-base/Sidekick_base/Proof_stub/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Cstor/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Data/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Fun/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Select/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Statement/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Term/Iter_dag/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Term/LRA/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Term/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Term_cell/Make_eq/argument-1-X/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Term_cell/Make_eq/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Term_cell/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Term_cell/module-type-ARG/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Ty/Fun/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Ty/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/Value/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Base_types/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/CCHet/Key/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/CCHet/Map/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/CCHet/Tbl/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/CCHet/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Config/Key/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Config/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Form/Funs/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Form/Gensym/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Form/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Hashcons/Make/argument-1-A/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Hashcons/Make/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Hashcons/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Hashcons/module-type-ARG/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/ID/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Lit/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Model/Fun_interpretation/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Model/Val_map/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Model/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Proof_stub/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Solver_arg/Fun/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Solver_arg/Term/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Solver_arg/Ty/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__/Solver_arg/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Cstor/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Data/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Fun/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Select/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Statement/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Term/Iter_dag/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Term/LRA/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Term/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Term_cell/Make_eq/argument-1-X/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Term_cell/Make_eq/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Term_cell/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Term_cell/module-type-ARG/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Ty/Fun/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Ty/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Base_types/Value/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__CCHet/Key/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__CCHet/Map/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__CCHet/Tbl/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Config/Key/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Form/Funs/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Form/Gensym/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Hashcons/Make/argument-1-A/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Hashcons/Make/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Hashcons/module-type-ARG/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Model/Fun_interpretation/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Model/Val_map/index.html rename dev/sidekick-base/{Sidekick_base__Proof_stub => Sidekick_base__Proof}/.dune-keep (100%) create mode 100644 dev/sidekick-base/Sidekick_base__Proof/index.html create mode 100644 dev/sidekick-base/Sidekick_base__Proof_dummy/.dune-keep create mode 100644 dev/sidekick-base/Sidekick_base__Proof_dummy/index.html create mode 100644 dev/sidekick-base/Sidekick_base__Proof_quip/.dune-keep create mode 100644 dev/sidekick-base/Sidekick_base__Proof_quip/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Proof_stub/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Solver_arg/Fun/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Solver_arg/Term/index.html delete mode 100644 dev/sidekick-base/Sidekick_base__Solver_arg/Ty/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/.dune-keep create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Bare/Decode/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Bare/Encode/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Bare/Pp/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Bare/String_map/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Bare/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Clause/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Expr_app/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Expr_bool/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Expr_def/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Expr_eq/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Expr_if/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Expr_not/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Fun_decl/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/ID/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Lit/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_bool_c/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_bool_tauto/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_bridge_lit_expr/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_cc/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_clause_rw/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_input/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_preprocess/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_proof_p1/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_rup/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_true/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_unsat/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_view/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/Storage/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace__/.dune-keep create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace__/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace__Proof_ser/.dune-keep create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace__Proof_ser/index.html create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace__Storage/.dune-keep create mode 100644 dev/sidekick-base/Sidekick_base_proof_trace__Storage/index.html create mode 100644 dev/sidekick-base/Sidekick_base_solver/Solver/P/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base_solver/Solver/Solver_internal/P/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base_solver/Th_bool/A/S/P/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base_solver/Th_bool/A/S/Solver_internal/P/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base_solver/Th_data/A/S/P/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base_solver/Th_data/A/S/Solver_internal/P/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base_solver/Th_lra/A/S/P/Step_vec/index.html create mode 100644 dev/sidekick-base/Sidekick_base_solver/Th_lra/A/S/Solver_internal/P/Step_vec/index.html delete mode 100644 dev/sidekick-bin/Sidekick_bin_lib__/Dimacs_lexer/index.html delete mode 100644 dev/sidekick-bin/Sidekick_bin_lib__/Dimacs_parser/index.html delete mode 100644 dev/sidekick-bin/Sidekick_bin_lib__/Drup_lexer/index.html delete mode 100644 dev/sidekick-bin/Sidekick_bin_lib__/Drup_parser/index.html create mode 100644 dev/sidekick-bin/Sidekick_smtlib/Process/Solver/P/Step_vec/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Check_cc/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Lit/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Model/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/P/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/CC/Actions/P/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/CC/Actions/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/CC/Expl/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/CC/N/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/CC/P/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/CC/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/Simplify/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Solver_internal/module-type-PREPROCESS_ACTS/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/T/Fun/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/T/Term/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/T/Ty/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/T/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/Unknown/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/Solver/module-type-THEORY/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Process/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Typecheck/Ctx/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__/Typecheck/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Check_cc/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Lit/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Model/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/P/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/CC/Actions/P/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/CC/Actions/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/CC/Expl/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/CC/N/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/CC/P/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/CC/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/Simplify/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Solver_internal/module-type-PREPROCESS_ACTS/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/T/Fun/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/T/Term/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/T/Ty/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/T/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/Unknown/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Process/Solver/module-type-THEORY/index.html delete mode 100644 dev/sidekick-bin/Sidekick_smtlib__Typecheck/Ctx/index.html create mode 100644 dev/sidekick/Sidekick_arith_lra/Make/argument-1-A/S/P/Step_vec/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra/Simplex2/module-type-RATIONAL/index.html create mode 100644 dev/sidekick/Sidekick_arith_lra/module-type-ARG/S/P/Step_vec/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra/module-type-RATIONAL/index.html create mode 100644 dev/sidekick/Sidekick_arith_lra/module-type-S/A/S/P/Step_vec/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/Make/Comb/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/Make/Comb/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/Make/Constr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/Make/Expr/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/Make/Expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/Make/argument-1-C/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/Make/argument-2-Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/Make/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-COEFF/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-S/C/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-S/Comb/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-S/Comb/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-S/Constr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-S/Expr/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-S/Expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-S/Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr/module-type-VAR/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-COEFF/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-S/C/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-S/Comb/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-S/Comb/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-S/Constr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-S/Expr/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-S/Expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-S/Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Linear_expr_intf/module-type-VAR/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Predicate/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/Make/Constraint/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/Make/Subst/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/Make/Unsat_cert/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/Make/argument-1-Q/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/Make/argument-2-Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/Make/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/Op/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/module-type-RATIONAL/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/module-type-S/Constraint/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/module-type-S/Q/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/module-type-S/Subst/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/module-type-S/Unsat_cert/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/module-type-S/V/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex2/module-type-VAR/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-RATIONAL/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S/Q/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/L/C/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/L/Comb/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/L/Comb/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/L/Constr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/L/Expr/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/L/Expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/L/Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/L/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/Q/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__/Simplex_intf/module-type-S_FULL/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/Make/Comb/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/Make/Comb/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/Make/Constr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/Make/Expr/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/Make/Expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/Make/argument-1-C/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/Make/argument-2-Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/Make/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-COEFF/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-S/C/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-S/Comb/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-S/Comb/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-S/Constr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-S/Expr/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-S/Expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-S/Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr/module-type-VAR/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-COEFF/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-S/C/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-S/Comb/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-S/Comb/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-S/Constr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-S/Expr/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-S/Expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-S/Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Linear_expr_intf/module-type-VAR/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/Make/Constraint/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/Make/Subst/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/Make/Unsat_cert/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/Make/argument-1-Q/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/Make/argument-2-Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/Make/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/Op/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/module-type-RATIONAL/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/module-type-S/Constraint/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/module-type-S/Q/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/module-type-S/Subst/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/module-type-S/Unsat_cert/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/module-type-S/V/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex2/module-type-VAR/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-RATIONAL/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S/Q/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/L/C/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/L/Comb/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/L/Comb/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/L/Constr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/L/Expr/Infix/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/L/Expr/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/L/Var/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/L/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/Q/index.html delete mode 100644 dev/sidekick/Sidekick_arith_lra__Simplex_intf/module-type-S_FULL/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/Actions/P/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/Actions/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/Expl/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/N/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/P/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/T/Fun/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/T/Term/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/T/Ty/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/T/index.html delete mode 100644 dev/sidekick/Sidekick_cc/module-type-S/index.html create mode 100644 dev/sidekick/Sidekick_core/Monoid_of_repr/argument-1-M/SI/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_core/module-type-MONOID_ARG/SI/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_core/module-type-PROOF/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_core/module-type-SAT_PROOF/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_core/module-type-SOLVER/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_core/module-type-SOLVER_INTERNAL/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_quip/.dune-keep create mode 100644 dev/sidekick/Sidekick_quip/Proof/Fun/index.html create mode 100644 dev/sidekick/Sidekick_quip/Proof/Lit/index.html create mode 100644 dev/sidekick/Sidekick_quip/Proof/T/index.html create mode 100644 dev/sidekick/Sidekick_quip/Proof/Ty/index.html create mode 100644 dev/sidekick/Sidekick_quip/Proof/index.html create mode 100644 dev/sidekick/Sidekick_quip/index.html create mode 100644 dev/sidekick/Sidekick_quip__/.dune-keep create mode 100644 dev/sidekick/Sidekick_quip__/index.html create mode 100644 dev/sidekick/Sidekick_quip__Proof/.dune-keep create mode 100644 dev/sidekick/Sidekick_quip__Proof/index.html create mode 100644 dev/sidekick/Sidekick_sat/Solver/Make_cdcl_t/argument-1-Th/Proof/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_sat/Solver/Make_pure_sat/argument-1-Th/Proof/Step_vec/index.html delete mode 100644 dev/sidekick/Sidekick_sat/Solver/module-type-S/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat/Solver/module-type-S/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat/Solver/module-type-S/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat/Solver/module-type-S/index.html create mode 100644 dev/sidekick/Sidekick_sat/Solver_intf/module-type-PLUGIN_CDCL_T/Proof/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_sat/Solver_intf/module-type-PLUGIN_SAT/Proof/Step_vec/index.html delete mode 100644 dev/sidekick/Sidekick_sat/Solver_intf/module-type-PROOF/index.html create mode 100644 dev/sidekick/Sidekick_sat/Solver_intf/module-type-S/Proof/Step_vec/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-ACTS/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-LIT/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-PLUGIN_CDCL_T/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-PLUGIN_CDCL_T/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-PLUGIN_CDCL_T/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-PROOF/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-S/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-S/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-S/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat/module-type-SAT_STATE/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Heap/Make/argument-1-X/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Heap/Make/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Heap/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Heap/module-type-RANKED/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Heap/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Heap_intf/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Heap_intf/module-type-RANKED/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Heap_intf/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_cdcl_t/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_cdcl_t/argument-1-Th/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_cdcl_t/argument-1-Th/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_cdcl_t/argument-1-Th/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_cdcl_t/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_pure_sat/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_pure_sat/argument-1-Th/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_pure_sat/argument-1-Th/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_pure_sat/argument-1-Th/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/Make_pure_sat/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/module-type-S/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/module-type-S/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/module-type-S/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/Clause_pool_id/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-ACTS/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-LIT/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-PLUGIN_CDCL_T/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-PLUGIN_CDCL_T/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-PLUGIN_CDCL_T/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-PLUGIN_SAT/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-PLUGIN_SAT/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-PLUGIN_SAT/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-PROOF/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-S/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-S/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-S/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-SAT_STATE/index.html delete mode 100644 dev/sidekick/Sidekick_sat__/Solver_intf/module-type-UNSAT_STATE/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Heap/Make/argument-1-X/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Heap/Make/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Heap/module-type-RANKED/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Heap/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Heap_intf/module-type-RANKED/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Heap_intf/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_cdcl_t/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_cdcl_t/argument-1-Th/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_cdcl_t/argument-1-Th/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_cdcl_t/argument-1-Th/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_cdcl_t/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_pure_sat/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_pure_sat/argument-1-Th/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_pure_sat/argument-1-Th/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_pure_sat/argument-1-Th/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/Make_pure_sat/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/module-type-S/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/module-type-S/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/module-type-S/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/Clause_pool_id/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-ACTS/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-LIT/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-PLUGIN_CDCL_T/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-PLUGIN_CDCL_T/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-PLUGIN_CDCL_T/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-PLUGIN_SAT/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-PLUGIN_SAT/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-PLUGIN_SAT/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-PROOF/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-S/Clause/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-S/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-S/Proof/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-SAT_STATE/index.html delete mode 100644 dev/sidekick/Sidekick_sat__Solver_intf/module-type-UNSAT_STATE/index.html create mode 100644 dev/sidekick/Sidekick_smt_solver/Make/argument-1-A/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-ARG/P/Step_vec/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Lit/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Model/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/P/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/CC/Actions/P/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/CC/Actions/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/CC/Expl/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/CC/N/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/CC/P/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/CC/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/Simplify/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Solver_internal/module-type-PREPROCESS_ACTS/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/T/Fun/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/T/Term/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/T/Ty/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/T/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/Unknown/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_smt_solver/module-type-S/module-type-THEORY/index.html create mode 100644 dev/sidekick/Sidekick_th_bool_static/Make/argument-1-A/S/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_th_bool_static/module-type-ARG/S/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_th_bool_static/module-type-PROOF/index.html create mode 100644 dev/sidekick/Sidekick_th_bool_static/module-type-S/A/S/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_th_cstor/Make/argument-1-A/S/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_th_cstor/module-type-ARG/S/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_th_cstor/module-type-S/A/S/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_th_data/Make/argument-1-A/S/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_th_data/module-type-ARG/S/P/Step_vec/index.html create mode 100644 dev/sidekick/Sidekick_th_data/module-type-PROOF/index.html create mode 100644 dev/sidekick/Sidekick_th_data/module-type-S/A/S/P/Step_vec/index.html delete mode 100644 dev/sidekick/Sidekick_th_data__/Types/index.html create mode 100644 dev/sidekick/Sidekick_th_data__Th_intf/.dune-keep create mode 100644 dev/sidekick/Sidekick_th_data__Th_intf/index.html create mode 100644 dev/sidekick/Sidekick_util/Chunk_stack/Buf/index.html create mode 100644 dev/sidekick/Sidekick_util/Chunk_stack/Reader/index.html create mode 100644 dev/sidekick/Sidekick_util/Chunk_stack/Writer/index.html create mode 100644 dev/sidekick/Sidekick_util/Chunk_stack/index.html create mode 100644 dev/sidekick/Sidekick_util/VecSmallInt/index.html create mode 100644 dev/sidekick/Sidekick_util/Vec_unit/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Backtrack_stack/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Backtrackable_tbl/Make/argument-1-A/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Backtrackable_tbl/Make/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Backtrackable_tbl/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Backtrackable_tbl/module-type-ARG/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Backtrackable_tbl/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Bag/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Bitvec/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Error/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Hash/index.html delete mode 100644 dev/sidekick/Sidekick_util__/IArray/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Int_id/Make/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Int_id/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Int_id/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Log/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Profile/Control/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Profile/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Profile/module-type-BACKEND/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Stat/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Util/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec/index.html delete mode 100644 dev/sidekick/Sidekick_util__/VecI32/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec_float/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec_sig/Make_extensions/argument-1-B/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec_sig/Make_extensions/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec_sig/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec_sig/module-type-BASE/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec_sig/module-type-BASE_RO/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec_sig/module-type-EXTENSIONS/index.html delete mode 100644 dev/sidekick/Sidekick_util__/Vec_sig/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_util__Backtrackable_tbl/Make/argument-1-A/index.html delete mode 100644 dev/sidekick/Sidekick_util__Backtrackable_tbl/Make/index.html delete mode 100644 dev/sidekick/Sidekick_util__Backtrackable_tbl/module-type-ARG/index.html delete mode 100644 dev/sidekick/Sidekick_util__Backtrackable_tbl/module-type-S/index.html create mode 100644 dev/sidekick/Sidekick_util__Chunk_stack/.dune-keep create mode 100644 dev/sidekick/Sidekick_util__Chunk_stack/index.html delete mode 100644 dev/sidekick/Sidekick_util__Int_id/Make/index.html delete mode 100644 dev/sidekick/Sidekick_util__Int_id/module-type-S/index.html delete mode 100644 dev/sidekick/Sidekick_util__Profile/Control/index.html delete mode 100644 dev/sidekick/Sidekick_util__Profile/module-type-BACKEND/index.html create mode 100644 dev/sidekick/Sidekick_util__VecSmallInt/.dune-keep create mode 100644 dev/sidekick/Sidekick_util__VecSmallInt/index.html delete mode 100644 dev/sidekick/Sidekick_util__Vec_sig/Make_extensions/argument-1-B/index.html delete mode 100644 dev/sidekick/Sidekick_util__Vec_sig/Make_extensions/index.html delete mode 100644 dev/sidekick/Sidekick_util__Vec_sig/module-type-BASE/index.html delete mode 100644 dev/sidekick/Sidekick_util__Vec_sig/module-type-BASE_RO/index.html delete mode 100644 dev/sidekick/Sidekick_util__Vec_sig/module-type-EXTENSIONS/index.html delete mode 100644 dev/sidekick/Sidekick_util__Vec_sig/module-type-S/index.html create mode 100644 dev/sidekick/Sidekick_util__Vec_unit/.dune-keep create mode 100644 dev/sidekick/Sidekick_util__Vec_unit/index.html diff --git a/dev/odoc.css b/dev/odoc.css index 65c6458f..31951ebd 100644 --- a/dev/odoc.css +++ b/dev/odoc.css @@ -1,13 +1,125 @@ @charset "UTF-8"; /* Copyright (c) 2016 The odoc contributors. All rights reserved. Distributed under the ISC license, see terms at the end of the file. - odoc 1.5.3 */ + odoc 2.0.0 */ /* Fonts */ @import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500'); @import url('https://fonts.googleapis.com/css?family=Noticia+Text:400,400i,700'); @import url('https://fonts.googleapis.com/css?family=Fira+Sans:400,400i,500,500i,600,600i,700,700i'); +:root, +.light:root { + --main-background: #FFFFFF; + + --color: #333333; + --link-color: #2C94BD; + --anchor-hover: #555; + --anchor-color: #d5d5d5; + --xref-shadow: #cc6666; + --header-shadow: #ddd; + --by-name-version-color: #aaa; + --by-name-nav-link-color: #222; + --target-background: rgba(187, 239, 253, 0.3); + --target-shadow: rgba(187, 239, 253, 0.8); + --pre-border-color: #eee; + --code-background: #f6f8fa; + + --li-code-background: #f6f8fa; + --li-code-color: #0d2b3e; + --toc-color: #1F2D3D; + --toc-before-color: #777; + --toc-background: #f6f8fa; + --toc-list-border: #ccc; + + --spec-summary-border-color: #5c9cf5; + --spec-summary-background: var(--code-background); + --spec-summary-hover-background: #ebeff2; + --spec-details-after-background: rgba(0, 4, 15, 0.05); + --spec-details-after-shadow: rgba(204, 204, 204, 0.53); +} + +.dark:root { + --main-background: #202020; + --code-background: #222; + --line-numbers-background: rgba(0, 0, 0, 0.125); + --navbar-background: #202020; + + --color: #bebebe; + --dirname-color: #666; + --underline-color: #444; + --visited-color: #002800; + --visited-number-color: #252; + --unvisited-color: #380000; + --unvisited-number-color: #622; + --somevisited-color: #303000; + --highlight-color: #303e3f; + --line-number-color: rgba(230, 230, 230, 0.3); + --unvisited-margin-color: #622; + --border: #333; + --navbar-border: #333; + --code-color: #ccc; + + --li-code-background: #373737; + --li-code-color: #999; + --toc-color: #777; + --toc-background: #252525; + + --hljs-link: #999; + --hljs-keyword: #cda869; + --hljs-regexp: #f9ee98; + --hljs-title: #dcdcaa; + --hljs-type: #ac885b; + --hljs-meta: #82aaff; + --hljs-variable: #cf6a4c; +} + +@media (prefers-color-scheme: dark) { + :root { + --main-background: #202020; + --code-background: #333; + --line-numbers-background: rgba(0, 0, 0, 0.125); + --navbar-background: #202020; + + --meter-unvisited-color: #622; + --meter-visited-color: #252; + --meter-separator-color: black; + + --color: #bebebe; + --dirname-color: #666; + --underline-color: #444; + --visited-color: #002800; + --visited-number-color: #252; + --unvisited-color: #380000; + --unvisited-number-color: #622; + --somevisited-color: #303000; + --highlight-color: #303e3f; + --line-number-color: rgba(230, 230, 230, 0.3); + --unvisited-margin-color: #622; + --border: #333; + --navbar-border: #333; + --code-color: #ccc; + --by-name-nav-link-color: var(--color); + + --li-code-background: #373737; + --li-code-color: #999; + --toc-color: #777; + --toc-before-color: #777; + --toc-background: #252525; + --toc-list-border: #ccc; + --spec-summary-hover-background: #ebeff2; + --spec-details-after-background: rgba(0, 4, 15, 0.05); + --spec-details-after-shadow: rgba(204, 204, 204, 0.53); + + --hljs-link: #999; + --hljs-keyword: #cda869; + --hljs-regexp: #f9ee98; + --hljs-title: #dcdcaa; + --hljs-type: #ac885b; + --hljs-meta: #82aaff; + --hljs-variable: #cf6a4c; + } +} /* Reset a few things. */ @@ -15,13 +127,9 @@ html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockq margin: 0; padding: 0; border: 0; - font-size: inherit; font: inherit; - line-height: inherit; vertical-align: baseline; - text-align: inherit; - color: inherit; - background: transparent; + } table { @@ -38,13 +146,13 @@ html { } body { - font-family: "Fira Sans", Helvetica, Arial, sans-serif; text-align: left; - color: #333; background: #FFFFFF; + color: var(--color); + background-color: var(--main-background); } -.content { +body { max-width: 90ex; margin-left: calc(10vw + 20ex); margin-right: 4ex; @@ -54,24 +162,32 @@ body { line-height: 1.5; } -.content>header { +header { margin-bottom: 30px; } -.content>header nav { +nav { font-family: "Fira Sans", Helvetica, Arial, sans-serif; } /* Basic markup elements */ b, strong { - font-weight: 500; + font-weight: bold; } -i, em { +i { font-style: italic; } +em, i em.odd{ + font-style: italic; +} + +em.odd, i em { + font-style: normal; +} + sup { vertical-align: super; } @@ -129,32 +245,32 @@ li>*:first-child { a { text-decoration: none; - color: #2C5CBD; + color: var(--link-color); } a:hover { - box-shadow: 0 1px 0 0 #2C5CBD; + box-shadow: 0 1px 0 0 var(--link-color); } /* Linked highlight */ *:target { - background-color: rgba(187,239,253,0.3) !important; - box-shadow: 0 0px 0 1px rgba(187,239,253,0.8) !important; + background-color: var(--target-background) !important; + box-shadow: 0 0px 0 1px var(--target-shadow) !important; border-radius: 1px; } -*:hover>a.anchor { +*:hover > a.anchor { visibility: visible; } a.anchor:before { - content: "#" + content: "#"; } a.anchor:hover { box-shadow: none; text-decoration: none; - color: #555; + color: var(--anchor-hover); } a.anchor { @@ -168,7 +284,7 @@ a.anchor { padding-right: 0.4em; padding-left: 0.4em; /* To remain selectable */ - color: #d5d5d5; + color: var(--anchor-color); } .spec > a.anchor { @@ -177,10 +293,10 @@ a.anchor { } .xref-unresolved { - color: #2C5CBD; + color: #2C94BD; } .xref-unresolved:hover { - box-shadow: 0 1px 0 0 #CC6666; + box-shadow: 0 1px 0 0 var(--xref-shadow); } /* Section and document divisions. @@ -205,7 +321,7 @@ h1 { h1 { font-weight: 500; font-size: 1.953em; - box-shadow: 0 1px 0 0 #ddd; + box-shadow: 0 1px 0 0 var(--header-shadow); } h2 { @@ -244,6 +360,22 @@ h4 { font-size: 1.12em; } +/* Comment delimiters, hidden but accessible to screen readers and + selected for copy/pasting */ + +/* Taken from bootstrap */ +/* See also https://stackoverflow.com/a/27769435/4220738 */ +.comment-delim { + position: absolute; + width: 1px; + height: 1px; + padding: 0; + margin: -1px; + overflow: hidden; + clip: rect(0, 0, 0, 0); + white-space: nowrap; + border: 0; +} /* Preformatted and code */ @@ -254,20 +386,21 @@ tt, code, pre { pre { padding: 0.1em; - border: 1px solid #eee; + border: 1px solid var(--pre-border-color); border-radius: 5px; overflow-x: auto; } -p code, li code { - background-color: #f6f8fa; - color: #0d2b3e; +p code, +li code { + background-color: var(--li-code-background); + color: var(--li-code-color); border-radius: 3px; padding: 0 0.3ex; } p a > code { - color: #2C5CBD; + color: var(--link-color); } /* Code blocks (e.g. Examples) */ @@ -282,44 +415,22 @@ pre code { font-weight: 500; } +.arrow { white-space: nowrap } + /* Module member specification */ -.spec:not(.include), .spec.include details summary { - background-color: #f6f8fa; +.spec { + background-color: var(--spec-summary-background); border-radius: 3px; - border-left: 4px solid #5c9cf5; + border-left: 4px solid var(--spec-summary-border-color); border-right: 5px solid transparent; padding: 0.35em 0.5em; } -.spec.include details summary:hover { - background-color: #ebeff2; -} - -dl, div.spec, .doc, aside { +div.spec, .def-doc { margin-bottom: 20px; } -dl > dd { - padding: 0.5em; -} - -dd> :first-child { - margin-top: 0; -} - -dl:last-child, dd> :last-child, aside:last-child, article:last-child { - margin-bottom: 0; -} - -dt+dt { - margin-top: 15px; -} - -section+section, section > header + dl { - margin-top: 25px; -} - .spec.type .variant { margin-left: 2ch; } @@ -341,27 +452,22 @@ div.def { padding-left: 2ex; } -div.def+div.doc { +div.def+div.def-doc { margin-left: 1ex; margin-top: 2.5px } -div.doc>*:first-child { +div.def-doc>*:first-child { margin-top: 0; } -/* The elements other than heading should be wrapped in