Module Branch_data.Checked

type 'f t = {
proofs_verified_mask : 'f Proofs_verified.Prefix_mask.Checked.t;
domain_log2 : 'f Snarky_backendless.Cvar.t;
}
val pack : (module Snarky_backendless.Snark_intf.Run with type field = 'f) -> 'f t -> 'f Snarky_backendless.Cvar.t