package bap-core-theory

  1. Overview
  2. Docs

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.

OCaml

Innovation. Community. Security.