From 190ee3c50323057d85c77dbe1c7a67979a71ac2f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 9 May 2018 19:48:25 -0500 Subject: [PATCH] add dev doc --- highlight.pack.js | 2 + index.html | 18 ++ odoc.css | 263 ++++++++++++++++++ sidekick/CDCL_tseitin/.jbuilder-keep | 0 .../Make/argument-1-A/Form/index.html | 2 + .../CDCL_tseitin/Make/argument-1-A/index.html | 2 + sidekick/CDCL_tseitin/Make/index.html | 2 + sidekick/CDCL_tseitin/index.html | 2 + .../module-type-Arg/Form/index.html | 2 + .../CDCL_tseitin/module-type-Arg/index.html | 2 + .../CDCL_tseitin/module-type-S/index.html | 2 + sidekick/CDCL_tseitin__/.jbuilder-keep | 0 .../CDCL_tseitin__/Tseitin_intf/index.html | 2 + .../module-type-Arg/Form/index.html | 2 + .../Tseitin_intf/module-type-Arg/index.html | 2 + .../Tseitin_intf/module-type-S/index.html | 2 + sidekick/CDCL_tseitin__/index.html | 2 + .../CDCL_tseitin__Tseitin_intf/.jbuilder-keep | 0 .../CDCL_tseitin__Tseitin_intf/index.html | 2 + .../module-type-Arg/Form/index.html | 2 + .../module-type-Arg/index.html | 2 + .../module-type-S/index.html | 2 + sidekick/Sidekick_backend/.jbuilder-keep | 0 .../Sidekick_backend/Backend_intf/index.html | 2 + .../Backend_intf/module-type-S/index.html | 2 + .../Coq/Make/argument-1-S/Atom/index.html | 2 + .../Coq/Make/argument-1-S/Clause/index.html | 2 + .../Coq/Make/argument-1-S/index.html | 2 + .../Coq/Make/argument-2-A/index.html | 2 + sidekick/Sidekick_backend/Coq/Make/index.html | 2 + .../Coq/Simple/argument-1-S/Atom/index.html | 2 + .../Coq/Simple/argument-1-S/Clause/index.html | 2 + .../Coq/Simple/argument-1-S/index.html | 2 + .../Coq/Simple/argument-2-A/index.html | 2 + .../Sidekick_backend/Coq/Simple/index.html | 2 + sidekick/Sidekick_backend/Coq/index.html | 2 + .../Coq/module-type-Arg/index.html | 2 + .../Coq/module-type-S/index.html | 2 + .../Dedukti/Make/argument-1-S/Atom/index.html | 2 + .../Make/argument-1-S/Clause/index.html | 2 + .../Dedukti/Make/argument-1-S/index.html | 2 + .../Dedukti/Make/argument-2-A/index.html | 2 + .../Sidekick_backend/Dedukti/Make/index.html | 2 + sidekick/Sidekick_backend/Dedukti/index.html | 2 + .../Dedukti/module-type-Arg/index.html | 2 + .../Dedukti/module-type-S/index.html | 2 + .../Dimacs/Make/argument-1-St/Atom/index.html | 2 + .../Make/argument-1-St/Clause/index.html | 2 + .../Make/argument-1-St/Formula/index.html | 2 + .../Dimacs/Make/argument-1-St/Var/index.html | 2 + .../Dimacs/Make/argument-1-St/index.html | 2 + .../Sidekick_backend/Dimacs/Make/index.html | 2 + sidekick/Sidekick_backend/Dimacs/index.html | 2 + .../Dimacs/module-type-S/index.html | 2 + .../Dot/Default/argument-1-S/Atom/index.html | 2 + .../Default/argument-1-S/Clause/index.html | 2 + .../Dot/Default/argument-1-S/index.html | 2 + .../Sidekick_backend/Dot/Default/index.html | 2 + .../Dot/Make/argument-1-S/Atom/index.html | 2 + .../Dot/Make/argument-1-S/Clause/index.html | 2 + .../Dot/Make/argument-1-S/index.html | 2 + .../Dot/Make/argument-2-A/index.html | 2 + sidekick/Sidekick_backend/Dot/Make/index.html | 2 + .../Dot/Simple/argument-1-S/Atom/index.html | 2 + .../Dot/Simple/argument-1-S/Clause/index.html | 2 + .../Dot/Simple/argument-1-S/index.html | 2 + .../Dot/Simple/argument-2-A/index.html | 2 + .../Sidekick_backend/Dot/Simple/index.html | 2 + sidekick/Sidekick_backend/Dot/index.html | 2 + .../Dot/module-type-Arg/index.html | 2 + .../Dot/module-type-S/index.html | 2 + sidekick/Sidekick_backend/index.html | 2 + .../.jbuilder-keep | 0 .../Sidekick_backend__Backend_intf/index.html | 2 + .../module-type-S/index.html | 2 + sidekick/Sidekick_backend__Coq/.jbuilder-keep | 0 .../Make/argument-1-S/Atom/index.html | 2 + .../Make/argument-1-S/Clause/index.html | 2 + .../Make/argument-1-S/index.html | 2 + .../Make/argument-2-A/index.html | 2 + .../Sidekick_backend__Coq/Make/index.html | 2 + .../Simple/argument-1-S/Atom/index.html | 2 + .../Simple/argument-1-S/Clause/index.html | 2 + .../Simple/argument-1-S/index.html | 2 + .../Simple/argument-2-A/index.html | 2 + .../Sidekick_backend__Coq/Simple/index.html | 2 + sidekick/Sidekick_backend__Coq/index.html | 2 + .../module-type-Arg/index.html | 2 + .../module-type-S/index.html | 2 + .../Sidekick_backend__Dedukti/.jbuilder-keep | 0 .../Make/argument-1-S/Atom/index.html | 2 + .../Make/argument-1-S/Clause/index.html | 2 + .../Make/argument-1-S/index.html | 2 + .../Make/argument-2-A/index.html | 2 + .../Sidekick_backend__Dedukti/Make/index.html | 2 + sidekick/Sidekick_backend__Dedukti/index.html | 2 + .../module-type-Arg/index.html | 2 + .../module-type-S/index.html | 2 + .../Sidekick_backend__Dimacs/.jbuilder-keep | 0 .../Make/argument-1-St/Atom/index.html | 2 + .../Make/argument-1-St/Clause/index.html | 2 + .../Make/argument-1-St/Formula/index.html | 2 + .../Make/argument-1-St/Var/index.html | 2 + .../Make/argument-1-St/index.html | 2 + .../Sidekick_backend__Dimacs/Make/index.html | 2 + sidekick/Sidekick_backend__Dimacs/index.html | 2 + .../module-type-S/index.html | 2 + sidekick/Sidekick_backend__Dot/.jbuilder-keep | 0 .../Default/argument-1-S/Atom/index.html | 2 + .../Default/argument-1-S/Clause/index.html | 2 + .../Default/argument-1-S/index.html | 2 + .../Sidekick_backend__Dot/Default/index.html | 2 + .../Make/argument-1-S/Atom/index.html | 2 + .../Make/argument-1-S/Clause/index.html | 2 + .../Make/argument-1-S/index.html | 2 + .../Make/argument-2-A/index.html | 2 + .../Sidekick_backend__Dot/Make/index.html | 2 + .../Simple/argument-1-S/Atom/index.html | 2 + .../Simple/argument-1-S/Clause/index.html | 2 + .../Simple/argument-1-S/index.html | 2 + .../Simple/argument-2-A/index.html | 2 + .../Sidekick_backend__Dot/Simple/index.html | 2 + sidekick/Sidekick_backend__Dot/index.html | 2 + .../module-type-Arg/index.html | 2 + .../module-type-S/index.html | 2 + sidekick/Sidekick_dimacs/.jbuilder-keep | 0 sidekick/Sidekick_dimacs/index.html | 2 + sidekick/Sidekick_dimacs__/.jbuilder-keep | 0 sidekick/Sidekick_dimacs__/Lexer/index.html | 2 + sidekick/Sidekick_dimacs__/Parser/index.html | 2 + sidekick/Sidekick_dimacs__/index.html | 2 + .../Sidekick_dimacs__Lexer/.jbuilder-keep | 0 sidekick/Sidekick_dimacs__Lexer/index.html | 2 + .../Sidekick_dimacs__Parser/.jbuilder-keep | 0 sidekick/Sidekick_dimacs__Parser/index.html | 2 + sidekick/Sidekick_sat/.jbuilder-keep | 0 sidekick/Sidekick_sat/Make/Clause/index.html | 2 + sidekick/Sidekick_sat/Make/Formula/index.html | 2 + sidekick/Sidekick_sat/Make/Lit/index.html | 2 + .../Sidekick_sat/Make/Proof/Atom/index.html | 2 + .../Make/Proof/Clause/Tbl/index.html | 2 + .../Sidekick_sat/Make/Proof/Clause/index.html | 2 + .../Sidekick_sat/Make/Proof/Tbl/index.html | 2 + sidekick/Sidekick_sat/Make/Proof/index.html | 2 + .../Make/argument-1-E/Form/index.html | 2 + .../Sidekick_sat/Make/argument-1-E/index.html | 2 + sidekick/Sidekick_sat/Make/index.html | 2 + .../Sidekick_sat/Res/Make/Atom/index.html | 2 + .../Sidekick_sat/Res/Make/Clause/index.html | 2 + .../Res/Make/argument-1-St/Atom/index.html | 2 + .../Res/Make/argument-1-St/Clause/index.html | 2 + .../Res/Make/argument-1-St/Formula/index.html | 2 + .../Res/Make/argument-1-St/Var/index.html | 2 + .../Res/Make/argument-1-St/index.html | 2 + sidekick/Sidekick_sat/Res/Make/index.html | 2 + sidekick/Sidekick_sat/Res/index.html | 2 + .../Res/module-type-FULL/Atom/index.html | 2 + .../Res/module-type-FULL/Clause/index.html | 2 + .../Res/module-type-FULL/St/Atom/index.html | 2 + .../Res/module-type-FULL/St/Clause/index.html | 2 + .../module-type-FULL/St/Formula/index.html | 2 + .../Res/module-type-FULL/St/Var/index.html | 2 + .../Res/module-type-FULL/St/index.html | 2 + .../Res/module-type-FULL/index.html | 2 + .../Res/module-type-S/Atom/index.html | 2 + .../Res/module-type-S/Clause/index.html | 2 + .../Sidekick_sat/Res/module-type-S/index.html | 2 + .../Solver_types_intf/C_fields/index.html | 2 + .../Solver_types_intf/Var_fields/index.html | 2 + .../Sidekick_sat/Solver_types_intf/index.html | 2 + .../module-type-S/Atom/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../module-type-S/Var/index.html | 2 + .../module-type-S/index.html | 2 + sidekick/Sidekick_sat/Theory_intf/index.html | 2 + .../Theory_intf/module-type-S/Form/index.html | 2 + .../Theory_intf/module-type-S/index.html | 2 + sidekick/Sidekick_sat/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../Sidekick_sat/module-type-S/Lit/index.html | 2 + .../module-type-S/Proof/Atom/index.html | 2 + .../module-type-S/Proof/Clause/index.html | 2 + .../module-type-S/Proof/index.html | 2 + .../Sidekick_sat/module-type-S/index.html | 2 + sidekick/Sidekick_sat__/.jbuilder-keep | 0 .../Sidekick_sat__/Internal/Make/H/index.html | 2 + .../Internal/Make/Proof/Atom/index.html | 2 + .../Internal/Make/Proof/Clause/Tbl/index.html | 2 + .../Internal/Make/Proof/Clause/index.html | 2 + .../Internal/Make/Proof/St/Atom/index.html | 2 + .../Make/Proof/St/Clause/Tbl/index.html | 2 + .../Internal/Make/Proof/St/Clause/index.html | 2 + .../Internal/Make/Proof/St/Formula/index.html | 2 + .../Internal/Make/Proof/St/Var/index.html | 2 + .../Internal/Make/Proof/St/index.html | 2 + .../Internal/Make/Proof/Tbl/index.html | 2 + .../Internal/Make/Proof/index.html | 2 + .../Make/argument-1-St/Atom/index.html | 2 + .../Make/argument-1-St/Clause/index.html | 2 + .../Make/argument-1-St/Formula/index.html | 2 + .../Make/argument-1-St/Var/index.html | 2 + .../Internal/Make/argument-1-St/index.html | 2 + .../Make/argument-2-Th/Form/index.html | 2 + .../Internal/Make/argument-2-Th/index.html | 2 + .../Sidekick_sat__/Internal/Make/index.html | 2 + sidekick/Sidekick_sat__/Internal/index.html | 2 + .../Sidekick_sat__/Res/Make/Atom/index.html | 2 + .../Sidekick_sat__/Res/Make/Clause/index.html | 2 + .../Res/Make/argument-1-St/Atom/index.html | 2 + .../Res/Make/argument-1-St/Clause/index.html | 2 + .../Res/Make/argument-1-St/Formula/index.html | 2 + .../Res/Make/argument-1-St/Var/index.html | 2 + .../Res/Make/argument-1-St/index.html | 2 + sidekick/Sidekick_sat__/Res/Make/index.html | 2 + sidekick/Sidekick_sat__/Res/index.html | 2 + .../Res/module-type-FULL/Atom/index.html | 2 + .../Res/module-type-FULL/Clause/index.html | 2 + .../Res/module-type-FULL/St/Atom/index.html | 2 + .../Res/module-type-FULL/St/Clause/index.html | 2 + .../module-type-FULL/St/Formula/index.html | 2 + .../Res/module-type-FULL/St/Var/index.html | 2 + .../Res/module-type-FULL/St/index.html | 2 + .../Res/module-type-FULL/index.html | 2 + .../Res/module-type-S/Atom/index.html | 2 + .../Res/module-type-S/Clause/index.html | 2 + .../Res/module-type-S/index.html | 2 + sidekick/Sidekick_sat__/Res_intf/index.html | 2 + .../Res_intf/module-type-FULL/Atom/index.html | 2 + .../module-type-FULL/Clause/index.html | 2 + .../module-type-FULL/St/Atom/index.html | 2 + .../module-type-FULL/St/Clause/index.html | 2 + .../module-type-FULL/St/Formula/index.html | 2 + .../module-type-FULL/St/Var/index.html | 2 + .../Res_intf/module-type-FULL/St/index.html | 2 + .../Res_intf/module-type-FULL/index.html | 2 + .../Res_intf/module-type-S/Atom/index.html | 2 + .../Res_intf/module-type-S/Clause/index.html | 2 + .../Res_intf/module-type-S/index.html | 2 + .../Solver/Make/Clause/index.html | 2 + .../Solver/Make/Formula/index.html | 2 + .../Sidekick_sat__/Solver/Make/Lit/index.html | 2 + .../Solver/Make/Proof/Atom/index.html | 2 + .../Solver/Make/Proof/Clause/index.html | 2 + .../Solver/Make/Proof/index.html | 2 + .../Solver/Make/argument-1-St/Atom/index.html | 2 + .../Make/argument-1-St/Clause/index.html | 2 + .../Make/argument-1-St/Formula/index.html | 2 + .../Solver/Make/argument-1-St/Var/index.html | 2 + .../Solver/Make/argument-1-St/index.html | 2 + .../Solver/Make/argument-2-Th/Form/index.html | 2 + .../Solver/Make/argument-2-Th/index.html | 2 + .../Sidekick_sat__/Solver/Make/index.html | 2 + sidekick/Sidekick_sat__/Solver/index.html | 2 + .../Solver/module-type-S/Clause/index.html | 2 + .../Solver/module-type-S/Formula/index.html | 2 + .../Solver/module-type-S/Lit/index.html | 2 + .../module-type-S/Proof/Atom/index.html | 2 + .../module-type-S/Proof/Clause/index.html | 2 + .../Solver/module-type-S/Proof/index.html | 2 + .../Solver/module-type-S/index.html | 2 + .../Sidekick_sat__/Solver_intf/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../Solver_intf/module-type-S/Lit/index.html | 2 + .../module-type-S/Proof/Atom/index.html | 2 + .../module-type-S/Proof/Clause/index.html | 2 + .../module-type-S/Proof/index.html | 2 + .../Solver_intf/module-type-S/index.html | 2 + .../Solver_types/Make/Atom/index.html | 2 + .../Solver_types/Make/Clause/index.html | 2 + .../Solver_types/Make/Formula/index.html | 2 + .../Solver_types/Make/Var/index.html | 2 + .../Make/argument-1-E/Form/index.html | 2 + .../Solver_types/Make/argument-1-E/index.html | 2 + .../Solver_types/Make/index.html | 2 + .../Sidekick_sat__/Solver_types/index.html | 2 + .../module-type-S/Atom/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../Solver_types/module-type-S/Var/index.html | 2 + .../Solver_types/module-type-S/index.html | 2 + .../Solver_types_intf/C_fields/index.html | 2 + .../Solver_types_intf/Var_fields/index.html | 2 + .../Solver_types_intf/index.html | 2 + .../module-type-S/Atom/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../module-type-S/Var/index.html | 2 + .../module-type-S/index.html | 2 + .../Sidekick_sat__/Theory_intf/index.html | 2 + .../Theory_intf/module-type-S/Form/index.html | 2 + .../Theory_intf/module-type-S/index.html | 2 + sidekick/Sidekick_sat__/index.html | 2 + .../Sidekick_sat__Internal/.jbuilder-keep | 0 .../Sidekick_sat__Internal/Make/H/index.html | 2 + .../Make/Proof/Atom/index.html | 2 + .../Make/Proof/Clause/Tbl/index.html | 2 + .../Make/Proof/Clause/index.html | 2 + .../Make/Proof/St/Atom/index.html | 2 + .../Make/Proof/St/Clause/Tbl/index.html | 2 + .../Make/Proof/St/Clause/index.html | 2 + .../Make/Proof/St/Formula/index.html | 2 + .../Make/Proof/St/Var/index.html | 2 + .../Make/Proof/St/index.html | 2 + .../Make/Proof/Tbl/index.html | 2 + .../Make/Proof/index.html | 2 + .../Make/argument-1-St/Atom/index.html | 2 + .../Make/argument-1-St/Clause/index.html | 2 + .../Make/argument-1-St/Formula/index.html | 2 + .../Make/argument-1-St/Var/index.html | 2 + .../Make/argument-1-St/index.html | 2 + .../Make/argument-2-Th/Form/index.html | 2 + .../Make/argument-2-Th/index.html | 2 + .../Sidekick_sat__Internal/Make/index.html | 2 + sidekick/Sidekick_sat__Internal/index.html | 2 + sidekick/Sidekick_sat__Res/.jbuilder-keep | 0 .../Sidekick_sat__Res/Make/Atom/index.html | 2 + .../Sidekick_sat__Res/Make/Clause/index.html | 2 + .../Make/argument-1-St/Atom/index.html | 2 + .../Make/argument-1-St/Clause/index.html | 2 + .../Make/argument-1-St/Formula/index.html | 2 + .../Make/argument-1-St/Var/index.html | 2 + .../Make/argument-1-St/index.html | 2 + sidekick/Sidekick_sat__Res/Make/index.html | 2 + sidekick/Sidekick_sat__Res/index.html | 2 + .../module-type-FULL/Atom/index.html | 2 + .../module-type-FULL/Clause/index.html | 2 + .../module-type-FULL/St/Atom/index.html | 2 + .../module-type-FULL/St/Clause/index.html | 2 + .../module-type-FULL/St/Formula/index.html | 2 + .../module-type-FULL/St/Var/index.html | 2 + .../module-type-FULL/St/index.html | 2 + .../module-type-FULL/index.html | 2 + .../module-type-S/Atom/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/index.html | 2 + .../Sidekick_sat__Res_intf/.jbuilder-keep | 0 sidekick/Sidekick_sat__Res_intf/index.html | 2 + .../module-type-FULL/Atom/index.html | 2 + .../module-type-FULL/Clause/index.html | 2 + .../module-type-FULL/St/Atom/index.html | 2 + .../module-type-FULL/St/Clause/index.html | 2 + .../module-type-FULL/St/Formula/index.html | 2 + .../module-type-FULL/St/Var/index.html | 2 + .../module-type-FULL/St/index.html | 2 + .../module-type-FULL/index.html | 2 + .../module-type-S/Atom/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/index.html | 2 + sidekick/Sidekick_sat__Solver/.jbuilder-keep | 0 .../Make/Clause/index.html | 2 + .../Make/Formula/index.html | 2 + .../Sidekick_sat__Solver/Make/Lit/index.html | 2 + .../Make/Proof/Atom/index.html | 2 + .../Make/Proof/Clause/index.html | 2 + .../Make/Proof/index.html | 2 + .../Make/argument-1-St/Atom/index.html | 2 + .../Make/argument-1-St/Clause/index.html | 2 + .../Make/argument-1-St/Formula/index.html | 2 + .../Make/argument-1-St/Var/index.html | 2 + .../Make/argument-1-St/index.html | 2 + .../Make/argument-2-Th/Form/index.html | 2 + .../Make/argument-2-Th/index.html | 2 + sidekick/Sidekick_sat__Solver/Make/index.html | 2 + sidekick/Sidekick_sat__Solver/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../module-type-S/Lit/index.html | 2 + .../module-type-S/Proof/Atom/index.html | 2 + .../module-type-S/Proof/Clause/index.html | 2 + .../module-type-S/Proof/index.html | 2 + .../module-type-S/index.html | 2 + .../Sidekick_sat__Solver_intf/.jbuilder-keep | 0 sidekick/Sidekick_sat__Solver_intf/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../module-type-S/Lit/index.html | 2 + .../module-type-S/Proof/Atom/index.html | 2 + .../module-type-S/Proof/Clause/index.html | 2 + .../module-type-S/Proof/index.html | 2 + .../module-type-S/index.html | 2 + .../Sidekick_sat__Solver_types/.jbuilder-keep | 0 .../Make/Atom/index.html | 2 + .../Make/Clause/index.html | 2 + .../Make/Formula/index.html | 2 + .../Make/Var/index.html | 2 + .../Make/argument-1-E/Form/index.html | 2 + .../Make/argument-1-E/index.html | 2 + .../Make/index.html | 2 + .../Sidekick_sat__Solver_types/index.html | 2 + .../module-type-S/Atom/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../module-type-S/Var/index.html | 2 + .../module-type-S/index.html | 2 + .../.jbuilder-keep | 0 .../C_fields/index.html | 2 + .../Var_fields/index.html | 2 + .../index.html | 2 + .../module-type-S/Atom/index.html | 2 + .../module-type-S/Clause/index.html | 2 + .../module-type-S/Formula/index.html | 2 + .../module-type-S/Var/index.html | 2 + .../module-type-S/index.html | 2 + .../Sidekick_sat__Theory_intf/.jbuilder-keep | 0 sidekick/Sidekick_sat__Theory_intf/index.html | 2 + .../module-type-S/Form/index.html | 2 + .../module-type-S/index.html | 2 + sidekick/Sidekick_smt/.jbuilder-keep | 0 sidekick/Sidekick_smt/Ast/index.html | 2 + sidekick/Sidekick_smt/Bag/index.html | 2 + sidekick/Sidekick_smt/Config/index.html | 2 + .../Congruence_closure/index.html | 2 + sidekick/Sidekick_smt/Cst/index.html | 2 + sidekick/Sidekick_smt/Equiv_class/index.html | 2 + .../Sidekick_smt/Explanation/Set/index.html | 2 + sidekick/Sidekick_smt/Explanation/index.html | 2 + sidekick/Sidekick_smt/Hash/index.html | 2 + sidekick/Sidekick_smt/Het_map/index.html | 2 + sidekick/Sidekick_smt/Lit/index.html | 2 + sidekick/Sidekick_smt/Model/index.html | 2 + sidekick/Sidekick_smt/Solver/index.html | 2 + sidekick/Sidekick_smt/Solver_types/index.html | 2 + sidekick/Sidekick_smt/Stat/index.html | 2 + sidekick/Sidekick_smt/Term/index.html | 2 + .../Term_cell/Make_eq/argument-1-X/index.html | 2 + .../Sidekick_smt/Term_cell/Make_eq/index.html | 2 + sidekick/Sidekick_smt/Term_cell/index.html | 2 + .../Term_cell/module-type-ARG/index.html | 2 + .../Sidekick_smt/Theory/Clause/index.html | 2 + sidekick/Sidekick_smt/Theory/index.html | 2 + .../Sidekick_smt/Theory_combine/index.html | 2 + sidekick/Sidekick_smt/Ty/index.html | 2 + sidekick/Sidekick_smt/Ty_card/index.html | 2 + sidekick/Sidekick_smt/index.html | 2 + sidekick/Sidekick_smt__Ast/.jbuilder-keep | 0 sidekick/Sidekick_smt__Ast/Ty/index.html | 2 + sidekick/Sidekick_smt__Ast/Var/index.html | 2 + sidekick/Sidekick_smt__Ast/index.html | 2 + sidekick/Sidekick_smt__Bag/.jbuilder-keep | 0 sidekick/Sidekick_smt__Bag/index.html | 2 + sidekick/Sidekick_smt__Config/.jbuilder-keep | 0 sidekick/Sidekick_smt__Config/Key/index.html | 2 + sidekick/Sidekick_smt__Config/index.html | 2 + .../.jbuilder-keep | 0 .../index.html | 2 + sidekick/Sidekick_smt__Cst/.jbuilder-keep | 0 sidekick/Sidekick_smt__Cst/index.html | 2 + .../Sidekick_smt__Equiv_class/.jbuilder-keep | 0 sidekick/Sidekick_smt__Equiv_class/index.html | 2 + .../Sidekick_smt__Explanation/.jbuilder-keep | 0 .../Sidekick_smt__Explanation/Set/index.html | 2 + sidekick/Sidekick_smt__Explanation/index.html | 2 + sidekick/Sidekick_smt__Hash/.jbuilder-keep | 0 sidekick/Sidekick_smt__Hash/index.html | 2 + sidekick/Sidekick_smt__Het_map/.jbuilder-keep | 0 sidekick/Sidekick_smt__Het_map/Key/index.html | 2 + sidekick/Sidekick_smt__Het_map/Map/index.html | 2 + sidekick/Sidekick_smt__Het_map/Tbl/index.html | 2 + sidekick/Sidekick_smt__Het_map/index.html | 2 + sidekick/Sidekick_smt__Lit/.jbuilder-keep | 0 sidekick/Sidekick_smt__Lit/index.html | 2 + sidekick/Sidekick_smt__Model/.jbuilder-keep | 0 sidekick/Sidekick_smt__Model/index.html | 2 + sidekick/Sidekick_smt__Solver/.jbuilder-keep | 0 .../Sidekick_smt__Solver/Proof/index.html | 2 + .../Sat_solver/Clause/index.html | 2 + .../Sat_solver/Formula/index.html | 2 + .../Sat_solver/Lit/index.html | 2 + .../Sat_solver/Proof/Atom/index.html | 2 + .../Sat_solver/Proof/Clause/index.html | 2 + .../Sat_solver/Proof/index.html | 2 + .../Sat_solver/index.html | 2 + sidekick/Sidekick_smt__Solver/index.html | 2 + .../Sidekick_smt__Solver_types/.jbuilder-keep | 0 .../Sidekick_smt__Solver_types/index.html | 2 + sidekick/Sidekick_smt__Stat/.jbuilder-keep | 0 sidekick/Sidekick_smt__Stat/index.html | 2 + sidekick/Sidekick_smt__Term/.jbuilder-keep | 0 sidekick/Sidekick_smt__Term/index.html | 2 + .../Sidekick_smt__Term_cell/.jbuilder-keep | 0 .../Make_eq/argument-1-X/index.html | 2 + .../Make_eq/index.html | 2 + sidekick/Sidekick_smt__Term_cell/index.html | 2 + .../module-type-ARG/index.html | 2 + sidekick/Sidekick_smt__Theory/.jbuilder-keep | 0 .../Sidekick_smt__Theory/Clause/index.html | 2 + sidekick/Sidekick_smt__Theory/index.html | 2 + .../.jbuilder-keep | 0 .../Form/index.html | 2 + .../Proof/index.html | 2 + .../Sidekick_smt__Theory_combine/index.html | 2 + sidekick/Sidekick_smt__Ty/.jbuilder-keep | 0 sidekick/Sidekick_smt__Ty/index.html | 2 + sidekick/Sidekick_smt__Ty_card/.jbuilder-keep | 0 sidekick/Sidekick_smt__Ty_card/index.html | 2 + sidekick/Sidekick_smtlib/.jbuilder-keep | 0 sidekick/Sidekick_smtlib/Process/index.html | 2 + sidekick/Sidekick_smtlib/index.html | 2 + sidekick/Sidekick_smtlib__/.jbuilder-keep | 0 sidekick/Sidekick_smtlib__/Lexer/index.html | 2 + .../Sidekick_smtlib__/Locations/index.html | 2 + .../Sidekick_smtlib__/Parse_ast/index.html | 2 + sidekick/Sidekick_smtlib__/Parser/index.html | 2 + sidekick/Sidekick_smtlib__/Process/index.html | 2 + .../Sidekick_smtlib__/Typecheck/index.html | 2 + sidekick/Sidekick_smtlib__/index.html | 2 + .../Sidekick_smtlib__Lexer/.jbuilder-keep | 0 sidekick/Sidekick_smtlib__Lexer/index.html | 2 + .../Sidekick_smtlib__Locations/.jbuilder-keep | 0 .../Sidekick_smtlib__Locations/index.html | 2 + .../Sidekick_smtlib__Parse_ast/.jbuilder-keep | 0 .../Sidekick_smtlib__Parse_ast/index.html | 2 + .../Sidekick_smtlib__Parser/.jbuilder-keep | 0 sidekick/Sidekick_smtlib__Parser/index.html | 2 + .../Sidekick_smtlib__Process/.jbuilder-keep | 0 sidekick/Sidekick_smtlib__Process/index.html | 2 + .../Sidekick_smtlib__Typecheck/.jbuilder-keep | 0 .../Sidekick_smtlib__Typecheck/Ctx/index.html | 2 + .../Sidekick_smtlib__Typecheck/index.html | 2 + sidekick/Sidekick_th_bool/.jbuilder-keep | 0 sidekick/Sidekick_th_bool/Lit/index.html | 2 + sidekick/Sidekick_th_bool/T_cell/index.html | 2 + sidekick/Sidekick_th_bool/index.html | 2 + sidekick/Sidekick_util/.jbuilder-keep | 0 sidekick/Sidekick_util/BitField/index.html | 2 + .../Heap/Make/argument-1-X/index.html | 2 + sidekick/Sidekick_util/Heap/Make/index.html | 2 + sidekick/Sidekick_util/Heap/index.html | 2 + .../Heap/module-type-RANKED/index.html | 2 + .../Heap/module-type-S/index.html | 2 + sidekick/Sidekick_util/Heap_intf/index.html | 2 + .../Heap_intf/module-type-RANKED/index.html | 2 + .../Heap_intf/module-type-S/index.html | 2 + sidekick/Sidekick_util/IArray/index.html | 2 + sidekick/Sidekick_util/ID/index.html | 2 + sidekick/Sidekick_util/Intf/index.html | 2 + .../Intf/module-type-EQ/index.html | 2 + .../Intf/module-type-HASH/index.html | 2 + .../Intf/module-type-ORD/index.html | 2 + .../Intf/module-type-PRINT/index.html | 2 + sidekick/Sidekick_util/Log/index.html | 2 + sidekick/Sidekick_util/Util/index.html | 2 + sidekick/Sidekick_util/Vec/index.html | 2 + sidekick/Sidekick_util/index.html | 2 + .../Sidekick_util__BitField/.jbuilder-keep | 0 .../Sidekick_util__BitField/Make/index.html | 2 + sidekick/Sidekick_util__BitField/index.html | 14 + .../module-type-S/index.html | 2 + sidekick/Sidekick_util__Heap/.jbuilder-keep | 0 .../Make/argument-1-X/index.html | 2 + sidekick/Sidekick_util__Heap/Make/index.html | 2 + sidekick/Sidekick_util__Heap/index.html | 2 + .../module-type-RANKED/index.html | 2 + .../module-type-S/index.html | 2 + .../Sidekick_util__Heap_intf/.jbuilder-keep | 0 sidekick/Sidekick_util__Heap_intf/index.html | 2 + .../module-type-RANKED/index.html | 2 + .../module-type-S/index.html | 2 + sidekick/Sidekick_util__IArray/.jbuilder-keep | 0 sidekick/Sidekick_util__IArray/index.html | 2 + sidekick/Sidekick_util__ID/.jbuilder-keep | 0 sidekick/Sidekick_util__ID/B/index.html | 2 + sidekick/Sidekick_util__ID/index.html | 2 + sidekick/Sidekick_util__Intf/.jbuilder-keep | 0 sidekick/Sidekick_util__Intf/index.html | 2 + .../module-type-EQ/index.html | 2 + .../module-type-HASH/index.html | 2 + .../module-type-ORD/index.html | 2 + .../module-type-PRINT/index.html | 2 + sidekick/Sidekick_util__Log/.jbuilder-keep | 0 sidekick/Sidekick_util__Log/index.html | 2 + sidekick/Sidekick_util__Util/.jbuilder-keep | 0 sidekick/Sidekick_util__Util/index.html | 2 + sidekick/Sidekick_util__Vec/.jbuilder-keep | 0 sidekick/Sidekick_util__Vec/index.html | 2 + sidekick/index.html | 2 + 579 files changed, 1321 insertions(+) create mode 100644 highlight.pack.js create mode 100644 index.html create mode 100644 odoc.css create mode 100644 sidekick/CDCL_tseitin/.jbuilder-keep create mode 100644 sidekick/CDCL_tseitin/Make/argument-1-A/Form/index.html create mode 100644 sidekick/CDCL_tseitin/Make/argument-1-A/index.html create mode 100644 sidekick/CDCL_tseitin/Make/index.html create mode 100644 sidekick/CDCL_tseitin/index.html create mode 100644 sidekick/CDCL_tseitin/module-type-Arg/Form/index.html create mode 100644 sidekick/CDCL_tseitin/module-type-Arg/index.html create mode 100644 sidekick/CDCL_tseitin/module-type-S/index.html create mode 100644 sidekick/CDCL_tseitin__/.jbuilder-keep create mode 100644 sidekick/CDCL_tseitin__/Tseitin_intf/index.html create mode 100644 sidekick/CDCL_tseitin__/Tseitin_intf/module-type-Arg/Form/index.html create mode 100644 sidekick/CDCL_tseitin__/Tseitin_intf/module-type-Arg/index.html create mode 100644 sidekick/CDCL_tseitin__/Tseitin_intf/module-type-S/index.html create mode 100644 sidekick/CDCL_tseitin__/index.html create mode 100644 sidekick/CDCL_tseitin__Tseitin_intf/.jbuilder-keep create mode 100644 sidekick/CDCL_tseitin__Tseitin_intf/index.html create mode 100644 sidekick/CDCL_tseitin__Tseitin_intf/module-type-Arg/Form/index.html create mode 100644 sidekick/CDCL_tseitin__Tseitin_intf/module-type-Arg/index.html create mode 100644 sidekick/CDCL_tseitin__Tseitin_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend/.jbuilder-keep create mode 100644 sidekick/Sidekick_backend/Backend_intf/index.html create mode 100644 sidekick/Sidekick_backend/Backend_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Make/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Make/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Make/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Make/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Make/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Simple/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Simple/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Simple/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Simple/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend/Coq/Simple/index.html create mode 100644 sidekick/Sidekick_backend/Coq/index.html create mode 100644 sidekick/Sidekick_backend/Coq/module-type-Arg/index.html create mode 100644 sidekick/Sidekick_backend/Coq/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend/Dedukti/Make/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend/Dedukti/Make/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend/Dedukti/Make/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend/Dedukti/Make/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend/Dedukti/Make/index.html create mode 100644 sidekick/Sidekick_backend/Dedukti/index.html create mode 100644 sidekick/Sidekick_backend/Dedukti/module-type-Arg/index.html create mode 100644 sidekick/Sidekick_backend/Dedukti/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend/Dimacs/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_backend/Dimacs/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_backend/Dimacs/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_backend/Dimacs/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_backend/Dimacs/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_backend/Dimacs/Make/index.html create mode 100644 sidekick/Sidekick_backend/Dimacs/index.html create mode 100644 sidekick/Sidekick_backend/Dimacs/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Default/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Default/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Default/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Default/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Make/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Make/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Make/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Make/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Make/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Simple/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Simple/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Simple/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Simple/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend/Dot/Simple/index.html create mode 100644 sidekick/Sidekick_backend/Dot/index.html create mode 100644 sidekick/Sidekick_backend/Dot/module-type-Arg/index.html create mode 100644 sidekick/Sidekick_backend/Dot/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend/index.html create mode 100644 sidekick/Sidekick_backend__Backend_intf/.jbuilder-keep create mode 100644 sidekick/Sidekick_backend__Backend_intf/index.html create mode 100644 sidekick/Sidekick_backend__Backend_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend__Coq/.jbuilder-keep create mode 100644 sidekick/Sidekick_backend__Coq/Make/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Make/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Make/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Make/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Make/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Simple/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Simple/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Simple/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Simple/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend__Coq/Simple/index.html create mode 100644 sidekick/Sidekick_backend__Coq/index.html create mode 100644 sidekick/Sidekick_backend__Coq/module-type-Arg/index.html create mode 100644 sidekick/Sidekick_backend__Coq/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend__Dedukti/.jbuilder-keep create mode 100644 sidekick/Sidekick_backend__Dedukti/Make/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend__Dedukti/Make/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend__Dedukti/Make/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend__Dedukti/Make/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend__Dedukti/Make/index.html create mode 100644 sidekick/Sidekick_backend__Dedukti/index.html create mode 100644 sidekick/Sidekick_backend__Dedukti/module-type-Arg/index.html create mode 100644 sidekick/Sidekick_backend__Dedukti/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend__Dimacs/.jbuilder-keep create mode 100644 sidekick/Sidekick_backend__Dimacs/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_backend__Dimacs/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_backend__Dimacs/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_backend__Dimacs/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_backend__Dimacs/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_backend__Dimacs/Make/index.html create mode 100644 sidekick/Sidekick_backend__Dimacs/index.html create mode 100644 sidekick/Sidekick_backend__Dimacs/module-type-S/index.html create mode 100644 sidekick/Sidekick_backend__Dot/.jbuilder-keep create mode 100644 sidekick/Sidekick_backend__Dot/Default/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Default/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Default/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Default/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Make/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Make/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Make/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Make/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Make/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Simple/argument-1-S/Atom/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Simple/argument-1-S/Clause/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Simple/argument-1-S/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Simple/argument-2-A/index.html create mode 100644 sidekick/Sidekick_backend__Dot/Simple/index.html create mode 100644 sidekick/Sidekick_backend__Dot/index.html create mode 100644 sidekick/Sidekick_backend__Dot/module-type-Arg/index.html create mode 100644 sidekick/Sidekick_backend__Dot/module-type-S/index.html create mode 100644 sidekick/Sidekick_dimacs/.jbuilder-keep create mode 100644 sidekick/Sidekick_dimacs/index.html create mode 100644 sidekick/Sidekick_dimacs__/.jbuilder-keep create mode 100644 sidekick/Sidekick_dimacs__/Lexer/index.html create mode 100644 sidekick/Sidekick_dimacs__/Parser/index.html create mode 100644 sidekick/Sidekick_dimacs__/index.html create mode 100644 sidekick/Sidekick_dimacs__Lexer/.jbuilder-keep create mode 100644 sidekick/Sidekick_dimacs__Lexer/index.html create mode 100644 sidekick/Sidekick_dimacs__Parser/.jbuilder-keep create mode 100644 sidekick/Sidekick_dimacs__Parser/index.html create mode 100644 sidekick/Sidekick_sat/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat/Make/Clause/index.html create mode 100644 sidekick/Sidekick_sat/Make/Formula/index.html create mode 100644 sidekick/Sidekick_sat/Make/Lit/index.html create mode 100644 sidekick/Sidekick_sat/Make/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat/Make/Proof/Clause/Tbl/index.html create mode 100644 sidekick/Sidekick_sat/Make/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat/Make/Proof/Tbl/index.html create mode 100644 sidekick/Sidekick_sat/Make/Proof/index.html create mode 100644 sidekick/Sidekick_sat/Make/argument-1-E/Form/index.html create mode 100644 sidekick/Sidekick_sat/Make/argument-1-E/index.html create mode 100644 sidekick/Sidekick_sat/Make/index.html create mode 100644 sidekick/Sidekick_sat/Res/Make/Atom/index.html create mode 100644 sidekick/Sidekick_sat/Res/Make/Clause/index.html create mode 100644 sidekick/Sidekick_sat/Res/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_sat/Res/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_sat/Res/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_sat/Res/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_sat/Res/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_sat/Res/Make/index.html create mode 100644 sidekick/Sidekick_sat/Res/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-FULL/Atom/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-FULL/Clause/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-FULL/St/Atom/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-FULL/St/Clause/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-FULL/St/Formula/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-FULL/St/Var/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-FULL/St/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-FULL/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat/Res/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat/Solver_types_intf/C_fields/index.html create mode 100644 sidekick/Sidekick_sat/Solver_types_intf/Var_fields/index.html create mode 100644 sidekick/Sidekick_sat/Solver_types_intf/index.html create mode 100644 sidekick/Sidekick_sat/Solver_types_intf/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat/Solver_types_intf/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat/Solver_types_intf/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat/Solver_types_intf/module-type-S/Var/index.html create mode 100644 sidekick/Sidekick_sat/Solver_types_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat/Theory_intf/index.html create mode 100644 sidekick/Sidekick_sat/Theory_intf/module-type-S/Form/index.html create mode 100644 sidekick/Sidekick_sat/Theory_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat/index.html create mode 100644 sidekick/Sidekick_sat/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat/module-type-S/Lit/index.html create mode 100644 sidekick/Sidekick_sat/module-type-S/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat/module-type-S/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat/module-type-S/Proof/index.html create mode 100644 sidekick/Sidekick_sat/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__/Internal/Make/H/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/Clause/Tbl/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/St/Clause/Tbl/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/St/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/St/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/Tbl/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/Proof/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/argument-2-Th/Form/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/argument-2-Th/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/Make/index.html create mode 100644 sidekick/Sidekick_sat__/Internal/index.html create mode 100644 sidekick/Sidekick_sat__/Res/Make/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Res/Make/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Res/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Res/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Res/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Res/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Res/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_sat__/Res/Make/index.html create mode 100644 sidekick/Sidekick_sat__/Res/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-FULL/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-FULL/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-FULL/St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-FULL/St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-FULL/St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-FULL/St/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-FULL/St/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-FULL/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Res/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-FULL/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-FULL/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-FULL/St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-FULL/St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-FULL/St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-FULL/St/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-FULL/St/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-FULL/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Res_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/Lit/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/Proof/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/argument-2-Th/Form/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/argument-2-Th/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/Make/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/module-type-S/Lit/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/module-type-S/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/module-type-S/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/module-type-S/Proof/index.html create mode 100644 sidekick/Sidekick_sat__/Solver/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_intf/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_intf/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_intf/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_intf/module-type-S/Lit/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_intf/module-type-S/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_intf/module-type-S/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_intf/module-type-S/Proof/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/Make/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/Make/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/Make/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/Make/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/Make/argument-1-E/Form/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/Make/argument-1-E/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/Make/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/module-type-S/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types_intf/C_fields/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types_intf/Var_fields/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types_intf/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types_intf/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types_intf/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types_intf/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types_intf/module-type-S/Var/index.html create mode 100644 sidekick/Sidekick_sat__/Solver_types_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__/Theory_intf/index.html create mode 100644 sidekick/Sidekick_sat__/Theory_intf/module-type-S/Form/index.html create mode 100644 sidekick/Sidekick_sat__/Theory_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__/index.html create mode 100644 sidekick/Sidekick_sat__Internal/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__Internal/Make/H/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/Clause/Tbl/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/St/Clause/Tbl/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/St/Var/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/St/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/Tbl/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/Proof/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/argument-2-Th/Form/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/argument-2-Th/index.html create mode 100644 sidekick/Sidekick_sat__Internal/Make/index.html create mode 100644 sidekick/Sidekick_sat__Internal/index.html create mode 100644 sidekick/Sidekick_sat__Res/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__Res/Make/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Res/Make/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Res/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Res/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Res/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Res/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_sat__Res/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_sat__Res/Make/index.html create mode 100644 sidekick/Sidekick_sat__Res/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-FULL/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-FULL/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-FULL/St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-FULL/St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-FULL/St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-FULL/St/Var/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-FULL/St/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-FULL/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Res/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__Res_intf/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-FULL/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-FULL/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-FULL/St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-FULL/St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-FULL/St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-FULL/St/Var/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-FULL/St/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-FULL/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Res_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__Solver/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__Solver/Make/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/Lit/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/Proof/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/argument-1-St/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/argument-1-St/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/argument-1-St/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/argument-1-St/Var/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/argument-1-St/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/argument-2-Th/Form/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/argument-2-Th/index.html create mode 100644 sidekick/Sidekick_sat__Solver/Make/index.html create mode 100644 sidekick/Sidekick_sat__Solver/index.html create mode 100644 sidekick/Sidekick_sat__Solver/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Solver/module-type-S/Lit/index.html create mode 100644 sidekick/Sidekick_sat__Solver/module-type-S/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Solver/module-type-S/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver/module-type-S/Proof/index.html create mode 100644 sidekick/Sidekick_sat__Solver/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__Solver_intf/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__Solver_intf/index.html create mode 100644 sidekick/Sidekick_sat__Solver_intf/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver_intf/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Solver_intf/module-type-S/Lit/index.html create mode 100644 sidekick/Sidekick_sat__Solver_intf/module-type-S/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Solver_intf/module-type-S/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver_intf/module-type-S/Proof/index.html create mode 100644 sidekick/Sidekick_sat__Solver_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__Solver_types/Make/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/Make/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/Make/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/Make/Var/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/Make/argument-1-E/Form/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/Make/argument-1-E/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/Make/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/module-type-S/Var/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/C_fields/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/Var_fields/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/module-type-S/Atom/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/module-type-S/Clause/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/module-type-S/Formula/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/module-type-S/Var/index.html create mode 100644 sidekick/Sidekick_sat__Solver_types_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_sat__Theory_intf/.jbuilder-keep create mode 100644 sidekick/Sidekick_sat__Theory_intf/index.html create mode 100644 sidekick/Sidekick_sat__Theory_intf/module-type-S/Form/index.html create mode 100644 sidekick/Sidekick_sat__Theory_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_smt/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt/Ast/index.html create mode 100644 sidekick/Sidekick_smt/Bag/index.html create mode 100644 sidekick/Sidekick_smt/Config/index.html create mode 100644 sidekick/Sidekick_smt/Congruence_closure/index.html create mode 100644 sidekick/Sidekick_smt/Cst/index.html create mode 100644 sidekick/Sidekick_smt/Equiv_class/index.html create mode 100644 sidekick/Sidekick_smt/Explanation/Set/index.html create mode 100644 sidekick/Sidekick_smt/Explanation/index.html create mode 100644 sidekick/Sidekick_smt/Hash/index.html create mode 100644 sidekick/Sidekick_smt/Het_map/index.html create mode 100644 sidekick/Sidekick_smt/Lit/index.html create mode 100644 sidekick/Sidekick_smt/Model/index.html create mode 100644 sidekick/Sidekick_smt/Solver/index.html create mode 100644 sidekick/Sidekick_smt/Solver_types/index.html create mode 100644 sidekick/Sidekick_smt/Stat/index.html create mode 100644 sidekick/Sidekick_smt/Term/index.html create mode 100644 sidekick/Sidekick_smt/Term_cell/Make_eq/argument-1-X/index.html create mode 100644 sidekick/Sidekick_smt/Term_cell/Make_eq/index.html create mode 100644 sidekick/Sidekick_smt/Term_cell/index.html create mode 100644 sidekick/Sidekick_smt/Term_cell/module-type-ARG/index.html create mode 100644 sidekick/Sidekick_smt/Theory/Clause/index.html create mode 100644 sidekick/Sidekick_smt/Theory/index.html create mode 100644 sidekick/Sidekick_smt/Theory_combine/index.html create mode 100644 sidekick/Sidekick_smt/Ty/index.html create mode 100644 sidekick/Sidekick_smt/Ty_card/index.html create mode 100644 sidekick/Sidekick_smt/index.html create mode 100644 sidekick/Sidekick_smt__Ast/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Ast/Ty/index.html create mode 100644 sidekick/Sidekick_smt__Ast/Var/index.html create mode 100644 sidekick/Sidekick_smt__Ast/index.html create mode 100644 sidekick/Sidekick_smt__Bag/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Bag/index.html create mode 100644 sidekick/Sidekick_smt__Config/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Config/Key/index.html create mode 100644 sidekick/Sidekick_smt__Config/index.html create mode 100644 sidekick/Sidekick_smt__Congruence_closure/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Congruence_closure/index.html create mode 100644 sidekick/Sidekick_smt__Cst/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Cst/index.html create mode 100644 sidekick/Sidekick_smt__Equiv_class/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Equiv_class/index.html create mode 100644 sidekick/Sidekick_smt__Explanation/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Explanation/Set/index.html create mode 100644 sidekick/Sidekick_smt__Explanation/index.html create mode 100644 sidekick/Sidekick_smt__Hash/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Hash/index.html create mode 100644 sidekick/Sidekick_smt__Het_map/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Het_map/Key/index.html create mode 100644 sidekick/Sidekick_smt__Het_map/Map/index.html create mode 100644 sidekick/Sidekick_smt__Het_map/Tbl/index.html create mode 100644 sidekick/Sidekick_smt__Het_map/index.html create mode 100644 sidekick/Sidekick_smt__Lit/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Lit/index.html create mode 100644 sidekick/Sidekick_smt__Model/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Model/index.html create mode 100644 sidekick/Sidekick_smt__Solver/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Solver/Proof/index.html create mode 100644 sidekick/Sidekick_smt__Solver/Sat_solver/Clause/index.html create mode 100644 sidekick/Sidekick_smt__Solver/Sat_solver/Formula/index.html create mode 100644 sidekick/Sidekick_smt__Solver/Sat_solver/Lit/index.html create mode 100644 sidekick/Sidekick_smt__Solver/Sat_solver/Proof/Atom/index.html create mode 100644 sidekick/Sidekick_smt__Solver/Sat_solver/Proof/Clause/index.html create mode 100644 sidekick/Sidekick_smt__Solver/Sat_solver/Proof/index.html create mode 100644 sidekick/Sidekick_smt__Solver/Sat_solver/index.html create mode 100644 sidekick/Sidekick_smt__Solver/index.html create mode 100644 sidekick/Sidekick_smt__Solver_types/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Solver_types/index.html create mode 100644 sidekick/Sidekick_smt__Stat/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Stat/index.html create mode 100644 sidekick/Sidekick_smt__Term/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Term/index.html create mode 100644 sidekick/Sidekick_smt__Term_cell/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Term_cell/Make_eq/argument-1-X/index.html create mode 100644 sidekick/Sidekick_smt__Term_cell/Make_eq/index.html create mode 100644 sidekick/Sidekick_smt__Term_cell/index.html create mode 100644 sidekick/Sidekick_smt__Term_cell/module-type-ARG/index.html create mode 100644 sidekick/Sidekick_smt__Theory/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Theory/Clause/index.html create mode 100644 sidekick/Sidekick_smt__Theory/index.html create mode 100644 sidekick/Sidekick_smt__Theory_combine/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Theory_combine/Form/index.html create mode 100644 sidekick/Sidekick_smt__Theory_combine/Proof/index.html create mode 100644 sidekick/Sidekick_smt__Theory_combine/index.html create mode 100644 sidekick/Sidekick_smt__Ty/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Ty/index.html create mode 100644 sidekick/Sidekick_smt__Ty_card/.jbuilder-keep create mode 100644 sidekick/Sidekick_smt__Ty_card/index.html create mode 100644 sidekick/Sidekick_smtlib/.jbuilder-keep create mode 100644 sidekick/Sidekick_smtlib/Process/index.html create mode 100644 sidekick/Sidekick_smtlib/index.html create mode 100644 sidekick/Sidekick_smtlib__/.jbuilder-keep create mode 100644 sidekick/Sidekick_smtlib__/Lexer/index.html create mode 100644 sidekick/Sidekick_smtlib__/Locations/index.html create mode 100644 sidekick/Sidekick_smtlib__/Parse_ast/index.html create mode 100644 sidekick/Sidekick_smtlib__/Parser/index.html create mode 100644 sidekick/Sidekick_smtlib__/Process/index.html create mode 100644 sidekick/Sidekick_smtlib__/Typecheck/index.html create mode 100644 sidekick/Sidekick_smtlib__/index.html create mode 100644 sidekick/Sidekick_smtlib__Lexer/.jbuilder-keep create mode 100644 sidekick/Sidekick_smtlib__Lexer/index.html create mode 100644 sidekick/Sidekick_smtlib__Locations/.jbuilder-keep create mode 100644 sidekick/Sidekick_smtlib__Locations/index.html create mode 100644 sidekick/Sidekick_smtlib__Parse_ast/.jbuilder-keep create mode 100644 sidekick/Sidekick_smtlib__Parse_ast/index.html create mode 100644 sidekick/Sidekick_smtlib__Parser/.jbuilder-keep create mode 100644 sidekick/Sidekick_smtlib__Parser/index.html create mode 100644 sidekick/Sidekick_smtlib__Process/.jbuilder-keep create mode 100644 sidekick/Sidekick_smtlib__Process/index.html create mode 100644 sidekick/Sidekick_smtlib__Typecheck/.jbuilder-keep create mode 100644 sidekick/Sidekick_smtlib__Typecheck/Ctx/index.html create mode 100644 sidekick/Sidekick_smtlib__Typecheck/index.html create mode 100644 sidekick/Sidekick_th_bool/.jbuilder-keep create mode 100644 sidekick/Sidekick_th_bool/Lit/index.html create mode 100644 sidekick/Sidekick_th_bool/T_cell/index.html create mode 100644 sidekick/Sidekick_th_bool/index.html create mode 100644 sidekick/Sidekick_util/.jbuilder-keep create mode 100644 sidekick/Sidekick_util/BitField/index.html create mode 100644 sidekick/Sidekick_util/Heap/Make/argument-1-X/index.html create mode 100644 sidekick/Sidekick_util/Heap/Make/index.html create mode 100644 sidekick/Sidekick_util/Heap/index.html create mode 100644 sidekick/Sidekick_util/Heap/module-type-RANKED/index.html create mode 100644 sidekick/Sidekick_util/Heap/module-type-S/index.html create mode 100644 sidekick/Sidekick_util/Heap_intf/index.html create mode 100644 sidekick/Sidekick_util/Heap_intf/module-type-RANKED/index.html create mode 100644 sidekick/Sidekick_util/Heap_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_util/IArray/index.html create mode 100644 sidekick/Sidekick_util/ID/index.html create mode 100644 sidekick/Sidekick_util/Intf/index.html create mode 100644 sidekick/Sidekick_util/Intf/module-type-EQ/index.html create mode 100644 sidekick/Sidekick_util/Intf/module-type-HASH/index.html create mode 100644 sidekick/Sidekick_util/Intf/module-type-ORD/index.html create mode 100644 sidekick/Sidekick_util/Intf/module-type-PRINT/index.html create mode 100644 sidekick/Sidekick_util/Log/index.html create mode 100644 sidekick/Sidekick_util/Util/index.html create mode 100644 sidekick/Sidekick_util/Vec/index.html create mode 100644 sidekick/Sidekick_util/index.html create mode 100644 sidekick/Sidekick_util__BitField/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__BitField/Make/index.html create mode 100644 sidekick/Sidekick_util__BitField/index.html create mode 100644 sidekick/Sidekick_util__BitField/module-type-S/index.html create mode 100644 sidekick/Sidekick_util__Heap/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__Heap/Make/argument-1-X/index.html create mode 100644 sidekick/Sidekick_util__Heap/Make/index.html create mode 100644 sidekick/Sidekick_util__Heap/index.html create mode 100644 sidekick/Sidekick_util__Heap/module-type-RANKED/index.html create mode 100644 sidekick/Sidekick_util__Heap/module-type-S/index.html create mode 100644 sidekick/Sidekick_util__Heap_intf/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__Heap_intf/index.html create mode 100644 sidekick/Sidekick_util__Heap_intf/module-type-RANKED/index.html create mode 100644 sidekick/Sidekick_util__Heap_intf/module-type-S/index.html create mode 100644 sidekick/Sidekick_util__IArray/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__IArray/index.html create mode 100644 sidekick/Sidekick_util__ID/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__ID/B/index.html create mode 100644 sidekick/Sidekick_util__ID/index.html create mode 100644 sidekick/Sidekick_util__Intf/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__Intf/index.html create mode 100644 sidekick/Sidekick_util__Intf/module-type-EQ/index.html create mode 100644 sidekick/Sidekick_util__Intf/module-type-HASH/index.html create mode 100644 sidekick/Sidekick_util__Intf/module-type-ORD/index.html create mode 100644 sidekick/Sidekick_util__Intf/module-type-PRINT/index.html create mode 100644 sidekick/Sidekick_util__Log/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__Log/index.html create mode 100644 sidekick/Sidekick_util__Util/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__Util/index.html create mode 100644 sidekick/Sidekick_util__Vec/.jbuilder-keep create mode 100644 sidekick/Sidekick_util__Vec/index.html create mode 100644 sidekick/index.html diff --git a/highlight.pack.js b/highlight.pack.js new file mode 100644 index 00000000..40370e82 --- /dev/null +++ b/highlight.pack.js @@ -0,0 +1,2 @@ +/*! highlight.js v9.12.0 | BSD3 License | git.io/hljslicense */ +!function(e){var n="object"==typeof window&&window||"object"==typeof self&&self;"undefined"!=typeof exports?e(exports):n&&(n.hljs=e({}),"function"==typeof define&&define.amd&&define([],function(){return n.hljs}))}(function(e){function n(e){return e.replace(/&/g,"&").replace(//g,">")}function t(e){return e.nodeName.toLowerCase()}function r(e,n){var t=e&&e.exec(n);return t&&0===t.index}function a(e){return k.test(e)}function i(e){var n,t,r,i,o=e.className+" ";if(o+=e.parentNode?e.parentNode.className:"",t=B.exec(o))return w(t[1])?t[1]:"no-highlight";for(o=o.split(/\s+/),n=0,r=o.length;r>n;n++)if(i=o[n],a(i)||w(i))return i}function o(e){var n,t={},r=Array.prototype.slice.call(arguments,1);for(n in e)t[n]=e[n];return r.forEach(function(e){for(n in e)t[n]=e[n]}),t}function u(e){var n=[];return function r(e,a){for(var i=e.firstChild;i;i=i.nextSibling)3===i.nodeType?a+=i.nodeValue.length:1===i.nodeType&&(n.push({event:"start",offset:a,node:i}),a=r(i,a),t(i).match(/br|hr|img|input/)||n.push({event:"stop",offset:a,node:i}));return a}(e,0),n}function c(e,r,a){function i(){return e.length&&r.length?e[0].offset!==r[0].offset?e[0].offset"}function u(e){s+=""}function c(e){("start"===e.event?o:u)(e.node)}for(var l=0,s="",f=[];e.length||r.length;){var g=i();if(s+=n(a.substring(l,g[0].offset)),l=g[0].offset,g===e){f.reverse().forEach(u);do c(g.splice(0,1)[0]),g=i();while(g===e&&g.length&&g[0].offset===l);f.reverse().forEach(o)}else"start"===g[0].event?f.push(g[0].node):f.pop(),c(g.splice(0,1)[0])}return s+n(a.substr(l))}function l(e){return e.v&&!e.cached_variants&&(e.cached_variants=e.v.map(function(n){return o(e,{v:null},n)})),e.cached_variants||e.eW&&[o(e)]||[e]}function s(e){function n(e){return e&&e.source||e}function t(t,r){return new RegExp(n(t),"m"+(e.cI?"i":"")+(r?"g":""))}function r(a,i){if(!a.compiled){if(a.compiled=!0,a.k=a.k||a.bK,a.k){var o={},u=function(n,t){e.cI&&(t=t.toLowerCase()),t.split(" ").forEach(function(e){var t=e.split("|");o[t[0]]=[n,t[1]?Number(t[1]):1]})};"string"==typeof a.k?u("keyword",a.k):x(a.k).forEach(function(e){u(e,a.k[e])}),a.k=o}a.lR=t(a.l||/\w+/,!0),i&&(a.bK&&(a.b="\\b("+a.bK.split(" ").join("|")+")\\b"),a.b||(a.b=/\B|\b/),a.bR=t(a.b),a.e||a.eW||(a.e=/\B|\b/),a.e&&(a.eR=t(a.e)),a.tE=n(a.e)||"",a.eW&&i.tE&&(a.tE+=(a.e?"|":"")+i.tE)),a.i&&(a.iR=t(a.i)),null==a.r&&(a.r=1),a.c||(a.c=[]),a.c=Array.prototype.concat.apply([],a.c.map(function(e){return l("self"===e?a:e)})),a.c.forEach(function(e){r(e,a)}),a.starts&&r(a.starts,i);var c=a.c.map(function(e){return e.bK?"\\.?("+e.b+")\\.?":e.b}).concat([a.tE,a.i]).map(n).filter(Boolean);a.t=c.length?t(c.join("|"),!0):{exec:function(){return null}}}}r(e)}function f(e,t,a,i){function o(e,n){var t,a;for(t=0,a=n.c.length;a>t;t++)if(r(n.c[t].bR,e))return n.c[t]}function u(e,n){if(r(e.eR,n)){for(;e.endsParent&&e.parent;)e=e.parent;return e}return e.eW?u(e.parent,n):void 0}function c(e,n){return!a&&r(n.iR,e)}function l(e,n){var t=N.cI?n[0].toLowerCase():n[0];return e.k.hasOwnProperty(t)&&e.k[t]}function p(e,n,t,r){var a=r?"":I.classPrefix,i='',i+n+o}function h(){var e,t,r,a;if(!E.k)return n(k);for(a="",t=0,E.lR.lastIndex=0,r=E.lR.exec(k);r;)a+=n(k.substring(t,r.index)),e=l(E,r),e?(B+=e[1],a+=p(e[0],n(r[0]))):a+=n(r[0]),t=E.lR.lastIndex,r=E.lR.exec(k);return a+n(k.substr(t))}function d(){var e="string"==typeof E.sL;if(e&&!y[E.sL])return n(k);var t=e?f(E.sL,k,!0,x[E.sL]):g(k,E.sL.length?E.sL:void 0);return E.r>0&&(B+=t.r),e&&(x[E.sL]=t.top),p(t.language,t.value,!1,!0)}function b(){L+=null!=E.sL?d():h(),k=""}function v(e){L+=e.cN?p(e.cN,"",!0):"",E=Object.create(e,{parent:{value:E}})}function m(e,n){if(k+=e,null==n)return b(),0;var t=o(n,E);if(t)return t.skip?k+=n:(t.eB&&(k+=n),b(),t.rB||t.eB||(k=n)),v(t,n),t.rB?0:n.length;var r=u(E,n);if(r){var a=E;a.skip?k+=n:(a.rE||a.eE||(k+=n),b(),a.eE&&(k=n));do E.cN&&(L+=C),E.skip||(B+=E.r),E=E.parent;while(E!==r.parent);return r.starts&&v(r.starts,""),a.rE?0:n.length}if(c(n,E))throw new Error('Illegal lexeme "'+n+'" for mode "'+(E.cN||"")+'"');return k+=n,n.length||1}var N=w(e);if(!N)throw new Error('Unknown language: "'+e+'"');s(N);var R,E=i||N,x={},L="";for(R=E;R!==N;R=R.parent)R.cN&&(L=p(R.cN,"",!0)+L);var k="",B=0;try{for(var M,j,O=0;;){if(E.t.lastIndex=O,M=E.t.exec(t),!M)break;j=m(t.substring(O,M.index),M[0]),O=M.index+j}for(m(t.substr(O)),R=E;R.parent;R=R.parent)R.cN&&(L+=C);return{r:B,value:L,language:e,top:E}}catch(T){if(T.message&&-1!==T.message.indexOf("Illegal"))return{r:0,value:n(t)};throw T}}function g(e,t){t=t||I.languages||x(y);var r={r:0,value:n(e)},a=r;return t.filter(w).forEach(function(n){var t=f(n,e,!1);t.language=n,t.r>a.r&&(a=t),t.r>r.r&&(a=r,r=t)}),a.language&&(r.second_best=a),r}function p(e){return I.tabReplace||I.useBR?e.replace(M,function(e,n){return I.useBR&&"\n"===e?"
":I.tabReplace?n.replace(/\t/g,I.tabReplace):""}):e}function h(e,n,t){var r=n?L[n]:t,a=[e.trim()];return e.match(/\bhljs\b/)||a.push("hljs"),-1===e.indexOf(r)&&a.push(r),a.join(" ").trim()}function d(e){var n,t,r,o,l,s=i(e);a(s)||(I.useBR?(n=document.createElementNS("http://www.w3.org/1999/xhtml","div"),n.innerHTML=e.innerHTML.replace(/\n/g,"").replace(//g,"\n")):n=e,l=n.textContent,r=s?f(s,l,!0):g(l),t=u(n),t.length&&(o=document.createElementNS("http://www.w3.org/1999/xhtml","div"),o.innerHTML=r.value,r.value=c(t,u(o),l)),r.value=p(r.value),e.innerHTML=r.value,e.className=h(e.className,s,r.language),e.result={language:r.language,re:r.r},r.second_best&&(e.second_best={language:r.second_best.language,re:r.second_best.r}))}function b(e){I=o(I,e)}function v(){if(!v.called){v.called=!0;var e=document.querySelectorAll("pre code");E.forEach.call(e,d)}}function m(){addEventListener("DOMContentLoaded",v,!1),addEventListener("load",v,!1)}function N(n,t){var r=y[n]=t(e);r.aliases&&r.aliases.forEach(function(e){L[e]=n})}function R(){return x(y)}function w(e){return e=(e||"").toLowerCase(),y[e]||y[L[e]]}var E=[],x=Object.keys,y={},L={},k=/^(no-?highlight|plain|text)$/i,B=/\blang(?:uage)?-([\w-]+)\b/i,M=/((^(<[^>]+>|\t|)+|(?:\n)))/gm,C="
",I={classPrefix:"hljs-",tabReplace:null,useBR:!1,languages:void 0};return e.highlight=f,e.highlightAuto=g,e.fixMarkup=p,e.highlightBlock=d,e.configure=b,e.initHighlighting=v,e.initHighlightingOnLoad=m,e.registerLanguage=N,e.listLanguages=R,e.getLanguage=w,e.inherit=o,e.IR="[a-zA-Z]\\w*",e.UIR="[a-zA-Z_]\\w*",e.NR="\\b\\d+(\\.\\d+)?",e.CNR="(-?)(\\b0[xX][a-fA-F0-9]+|(\\b\\d+(\\.\\d*)?|\\.\\d+)([eE][-+]?\\d+)?)",e.BNR="\\b(0b[01]+)",e.RSR="!|!=|!==|%|%=|&|&&|&=|\\*|\\*=|\\+|\\+=|,|-|-=|/=|/|:|;|<<|<<=|<=|<|===|==|=|>>>=|>>=|>=|>>>|>>|>|\\?|\\[|\\{|\\(|\\^|\\^=|\\||\\|=|\\|\\||~",e.BE={b:"\\\\[\\s\\S]",r:0},e.ASM={cN:"string",b:"'",e:"'",i:"\\n",c:[e.BE]},e.QSM={cN:"string",b:'"',e:'"',i:"\\n",c:[e.BE]},e.PWM={b:/\b(a|an|the|are|I'm|isn't|don't|doesn't|won't|but|just|should|pretty|simply|enough|gonna|going|wtf|so|such|will|you|your|they|like|more)\b/},e.C=function(n,t,r){var a=e.inherit({cN:"comment",b:n,e:t,c:[]},r||{});return a.c.push(e.PWM),a.c.push({cN:"doctag",b:"(?:TODO|FIXME|NOTE|BUG|XXX):",r:0}),a},e.CLCM=e.C("//","$"),e.CBCM=e.C("/\\*","\\*/"),e.HCM=e.C("#","$"),e.NM={cN:"number",b:e.NR,r:0},e.CNM={cN:"number",b:e.CNR,r:0},e.BNM={cN:"number",b:e.BNR,r:0},e.CSSNM={cN:"number",b:e.NR+"(%|em|ex|ch|rem|vw|vh|vmin|vmax|cm|mm|in|pt|pc|px|deg|grad|rad|turn|s|ms|Hz|kHz|dpi|dpcm|dppx)?",r:0},e.RM={cN:"regexp",b:/\//,e:/\/[gimuy]*/,i:/\n/,c:[e.BE,{b:/\[/,e:/\]/,r:0,c:[e.BE]}]},e.TM={cN:"title",b:e.IR,r:0},e.UTM={cN:"title",b:e.UIR,r:0},e.METHOD_GUARD={b:"\\.\\s*"+e.UIR,r:0},e});hljs.registerLanguage("ocaml",function(e){return{aliases:["ml"],k:{keyword:"and as assert asr begin class constraint do done downto else end exception external for fun function functor if in include inherit! inherit initializer land lazy let lor lsl lsr lxor match method!|10 method mod module mutable new object of open! open or private rec sig struct then to try type val! val virtual when while with parser value",built_in:"array bool bytes char exn|5 float int int32 int64 list lazy_t|5 nativeint|5 string unit in_channel out_channel ref",literal:"true false"},i:/\/\/|>>/,l:"[a-z_]\\w*!?",c:[{cN:"literal",b:"\\[(\\|\\|)?\\]|\\(\\)",r:0},e.C("\\(\\*","\\*\\)",{c:["self"]}),{cN:"symbol",b:"'[A-Za-z_](?!')[\\w']*"},{cN:"type",b:"`[A-Z][\\w']*"},{cN:"type",b:"\\b[A-Z][\\w']*",r:0},{b:"[a-z_]\\w*'[\\w']*",r:0},e.inherit(e.ASM,{cN:"string",r:0}),e.inherit(e.QSM,{i:null}),{cN:"number",b:"\\b(0[xX][a-fA-F0-9_]+[Lln]?|0[oO][0-7_]+[Lln]?|0[bB][01_]+[Lln]?|[0-9][0-9_]*([Lln]|(\\.[0-9_]*)?([eE][-+]?[0-9_]+)?)?)",r:0},{b:/[-=]>/}]}}); \ No newline at end of file diff --git a/index.html b/index.html new file mode 100644 index 00000000..d0792f55 --- /dev/null +++ b/index.html @@ -0,0 +1,18 @@ + + + + index + + + + + +
+

OCaml package documentation

+
    +
  1. msat_test dev
  2. +
  3. sidekick dev
  4. +
+
+ + \ No newline at end of file diff --git a/odoc.css b/odoc.css new file mode 100644 index 00000000..d84a27de --- /dev/null +++ b/odoc.css @@ -0,0 +1,263 @@ +@charset "UTF-8"; +/* Copyright (c) 2016 Daniel C. Bünzli. All rights reserved. + Distributed under the ISC license, see terms at the end of the file. + %%NAME%% %%VERSION%% */ + +/* Reset a few things. */ + +html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre, +a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp, +small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li, +fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td, +article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup, +menu,nav,output,ruby,section,summary,time,mark,audio,video +{ margin:0; padding:0; border:0; /* outline: 0; */ + font-size:100%; font: inherit; line-height:inherit; vertical-align:baseline; + text-align: inherit; color: inherit; background: transparent; } + +table { border-collapse: collapse; border-spacing: 0; } +*, *:before, *:after { box-sizing: border-box; } + +body +{ font-family: Helvetica, "DejaVu Sans", Arial, sans-serif; + font-weight: normal; + font-size: 14px; + line-height:20px; + text-align: left; + min-width: 40ex; + max-width: 78ex; + padding: 20px; + margin-left: 60px; + color: #222; background: #FAFAFA; } + +/* Basic markup elements */ + +b, strong { font-weight: bold; } +i, em { font-style: italic; } + +sup { vertical-align: super; } +sub { vertical-align: sub; } +sup, sub { font-size : 12px; line-height: 0; margin-left: 0.2ex; } + +p, div, img { margin-top: 20px; } + +ul, ol +{ margin-top: 10px; margin-bottom: 10px; list-style-position: outside } + +ul { list-style-type: square } +ul > li { margin-left: 22px; } +ol > li { margin-left: 27.2px; } +li > *:first-child { margin-top: 0 } + +/* Text alignements, this should be forbidden. */ + +.left { text-align: left; } +.right { text-align: right; } +.center { text-align: center; } + +/* Links and anchors */ + +a { text-decoration:none; color:#2C5CBD; } +a:hover { box-shadow:0 1px 0 0 #2C5CBD; } +*:target /* Linked highlight */ +{ background-color: #FFF8E5; + box-shadow: 0 0 0 2px #FFF8E5, 0 0 0 3px #DDD; } + +*:hover > a.anchor { + visibility: visible; +} + +a.anchor:before { content: "#" } +a.anchor:hover { box-shadow: none; text-decoration: underline } +a.anchor +{ visibility: hidden; position: absolute; /* top: 0px; */ + margin-left: -3ex; + font-weight: normal; + font-style: normal; + padding-right: 1ex; padding-left: 1ex; /* To remain selectable */ + color: #AAA; } + +.xref-unresolved { box-shadow:0 1px 0 0 red } + +/* Section and document divisions. + Until at least 4.03 many of the modules of the stdlib start at .h7, + we restart the sequence there like h2 */ + +h1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 +{ font-weight: bold; margin-top: 20px; } + +h1 + *, h2 + *, .h7 + * { margin-top: 10px; } + +h1, h2, .h7 +{ font-size: 20px; + line-height: 39px; + padding-top: 10px; + border-top: solid; + border-width: 1px; + border-color: #DDD; } + +h3 { font-size: 18px; } + +h2 + h3, .h7 + .h8 { margin-top: 10px; } + +/* Preformatted and code */ + +tt, code, pre +{ font-family: Menlo, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", + monospace; + font-weight: normal; + font-size: 12px; } + +pre +{ padding-left: 4px; padding-right: 4px; + margin-left: -4px; margin-right: -4px; + padding-top: 5px; padding-bottom: 5px; + margin-top: 20px; /* margin-bottom: 0.625rem; */ + line-height: 19px; + background: #F1F1F1; } + +h1 tt, h1 code, h2 tt, h2 code, .h7 tt, .h7 code { font-size: 18px } +h3 tt, h3 code { font-size: 16px } + +/* Code lexemes */ + +.keyword { font-weight: bold; } + +/* Module member specification */ + +div.def { margin-top: 0; text-indent: -2ex; padding-left: 2ex; } +div.def + div.doc { margin-left: 1ex; margin-top: 2.5px } +div.doc > *:first-child { margin-top: 0; } + +/* The elements other than heading should be wrapped in