Prefix_mask (pickles_base.Pickles_base.Proofs_verified.Prefix

module Checked : sig ... end

val there : t -> bool vec2

val back : bool vec2 -> t

val typ : 
  (module Snarky_backendless.Snark_intf.Run with type field = 'f) ->
  ( 'f Checked.t,
    t,
    'f,
    ( unit, 'f ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t