Up – hardcaml_verify » Hardcaml_verify_kernel » Is_one_hot » Make

Module `Is_one_hot.Make`

Parameters
Signature

Parameters

module Comb : Hardcaml.Comb.S

Signature

type nonrec t = {

no_bit_set : Comb.t;

one_bit_set : Comb.t;

many_bits_set : Comb.t;

}

val create : Comb.t -> t