package octez-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type scalar = scalar
type 'a repr = 'a repr
type 'a t = 'a 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
val full_adder : bool repr -> bool repr -> bool repr -> (bool * bool) repr t

Returns the pair (s, c_out), as per https://en.wikipedia.org/wiki/Adder_(electronics)#Full_adder