package sattools

  1. Overview
  2. Docs

Parameters

module B : S

Signature

val bfalse : B.t -> B.t list list
val btrue : B.t -> B.t list list
val bnot : B.t -> B.t -> B.t list list
val bwire : B.t -> B.t -> B.t list list
val bnor : B.t -> B.t list -> B.t list list
val bor : B.t -> B.t list -> B.t list list
val bnand : B.t -> B.t list -> B.t list list
val band : B.t -> B.t list -> B.t list list
val bxor : B.t -> B.t -> B.t -> B.t list list
OCaml

Innovation. Community. Security.