Module `Bits.Make_unpacked`

Parameters

module Impl : Snarky_backendless.Snark_intf.S

module M : sig ... end

Signature

module T : sig ... end

include module type of struct include T end

type var = Impl.Boolean.var list

type value = Impl.Boolean.value list

val typ : ( var, value ) Impl.Typ.t