package owi

  1. Overview
  2. Docs
val const : bool -> vbool
val not : vbool -> vbool
val or_ : vbool -> vbool -> vbool
val and_ : vbool -> vbool -> vbool
val int32 : vbool -> int32
val pp : Format.formatter -> vbool -> unit
OCaml

Innovation. Community. Security.