Module PulseSatUnsat.Types
for opening to get Sat and Unsat in the namespace
type nonrec 'a sat_unsat_t= 'a t=|Unsat|Sat of 'a
PulseSatUnsat.Typesfor opening to get Sat and Unsat in the namespace
type nonrec 'a sat_unsat_t = 'a t = | Unsat |
| Sat of 'a |