Theory.Bool
The sort for boolean values.
Booleans are one bit values.
type t
val t : t Value.sort
the Bool sort.
val refine : unit Value.sort -> t Value.sort option
refine s if s is Bool then returns Some t.
refine s
s
Bool
Some t