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

Auto re-indent

Browse source
This commit is contained in:
Guillaume Bury 2017-08-25 19:11:58 +02:00
parent 631280af9a
commit 679d928b88
11 changed files with 51 additions and 51 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/plugin_intf.ml
View file

@ -36,7 +36,7 @@ type 'term eval_res =
- [Valued (true, [x])] if [x] is assigned to [0] - [Valued (true, [x])] if [x] is assigned to [0]
- [Valued (true, [y])] if [y] is assigned to [0] - [Valued (true, [y])] if [y] is assigned to [0]
- [Valued (false, [x; y])] if [x] and [y] are assigned to 1 (or any non-zero number) - [Valued (false, [x; y])] if [x] and [y] are assigned to 1 (or any non-zero number)
*) *)
type ('formula, 'proof) res = type ('formula, 'proof) res =
| Sat | Sat