Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-core-theory
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The sort for boolean values.
Booleans are one bit values.
val t : t Value.sortthe Bool sort.
val refine : unit Value.sort -> t Value.sort optionrefine s if s is Bool then returns Some t.