package hardcaml_verify

  1. Overview
  2. Docs

Module Is_one_hot.MakeSource

Parameters

Signature

Sourcetype nonrec t = {
  1. no_bit_set : Comb.t;
  2. one_bit_set : Comb.t;
  3. many_bits_set : Comb.t;
}
Sourceval create : Comb.t -> t
OCaml

Innovation. Community. Security.