Step_verifier.Other_field
type t = Step_main_inputs.Impl.Other_field.t
val size_in_bits : int
val typ : ( t, Impls.Step.Other_field.Constant.t, Impls.Step.Internal_Basic.field ) Snarky_backendless.Typ.t