Lookup_parameters (pickles.Pickles.Common.Lookup

type ('a, 'b) zero_value :=
  ( Limb_vector.Challenge.Constant.t,
    'a,
    Impls.Wrap.Field.Constant.t Pickles_types.Shifted_value.Type2.t,
    'b Pickles_types.Shifted_value.Type2.t )
    Composition_types.Zero_values.t

val tick_zero : 
  ( Impls.Step.Field.t, Impls.Step.Field.t * Impls.Step.Boolean.var )
    zero_value

val tock_zero : ( Impls.Wrap.Field.t, Impls.Wrap.Field.t ) zero_value