simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 03:35:38 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

update doc

Browse source
This commit is contained in:
Simon Cruanes 2021-09-19 12:55:00 -04:00
parent 91a307d6fa
commit 156af6e803
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/guide.md
View file

@ -84,9 +84,11 @@ module Sidekick_base_solver :
module Th_data : sig ... end
module Th_bool : sig ... end
module Th_lra : sig ... end
module Th_dyn_trans : sig ... end
val th_bool : Solver.theory
val th_data : Solver.theory
val th_lra : Solver.theory
val th_dyn_trans : Solver.theory
end
```