package octez-plompiler

  1. Overview
  2. Docs

Module Lib.BoolSource

include module type of struct include C.Bool end
type scalar = C.scalar
type 'a repr = 'a C.repr
type 'a t = 'a C.t
val band : bool repr -> bool repr -> bool repr t
val xor : bool repr -> bool repr -> bool repr t
val bor : bool repr -> bool repr -> bool repr t
val bor_lookup : bool repr -> bool repr -> bool repr t
val bnot : bool repr -> bool repr t
val ifthenelse : bool repr -> 'a repr -> 'a repr -> 'a repr t
val swap : bool repr -> 'a repr -> 'a repr -> ('a * 'a) repr t
val assert_true : bool repr -> unit repr t
val assert_false : bool repr -> unit repr t
val constant_bool : bool -> bool repr t
val band_list : bool repr list -> bool repr t
Sourceval full_adder : bool repr -> bool repr -> bool repr -> (bool * bool) repr t
OCaml

Innovation. Community. Security.