hardcaml_verify

Hardcaml Verification Tools
IN THIS PACKAGE

Parameters

Signature

type nonrec t = {
no_bit_set : Comb.t;
one_bit_set : Comb.t;
many_bits_set : Comb.t;
}
val create : Comb.t -> t