MemVal.S_bool
type +'a v := 'a CSYMEX.Value.t
type t = CSYMEX.Value.sbool
val not : t v -> t v
val and_ : t v -> t v -> t v
val or_ : t v -> t v -> t v
val to_bool : t v -> bool option
val of_bool : bool -> t v