package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

Authors

Maintainers

Sources

octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053

doc/octez-libs.plompiler/Plompiler/Gadget/JubjubEdwards/L/Bool/index.html

Module L.Bool

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 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 repr t
val band_list : bool repr list -> bool repr t
module Internal : sig ... end
val full_adder : bool repr -> bool repr -> bool repr -> (bool * bool) repr t
OCaml

Innovation. Community. Security.