diff options
| author | Raphaël Monat | 2017-10-03 16:19:37 +0200 |
|---|---|---|
| committer | Raphaël Monat | 2017-10-03 16:19:37 +0200 |
| commit | d4009edb53ab7780bc85d83ccf01c6920c7f09e1 (patch) | |
| tree | e0c08409b7086ddcef4c54fc3bd3d00dc456b1b4 /API/API.ml | |
| parent | b40eb1628b85bbf4605fad2222c86ea796425e2a (diff) | |
Add Qeq_bool_sym: Qeq_bool x y = Qeq_bool y x.
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions