package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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

val select_expr : 
  Smtml.Expr.t ->
  if_true:Smtml.Expr.t ->
  if_false:Smtml.Expr.t ->
  Smtml.Expr.t