Step.Other_field
type t = Field.t * Boolean.var
module Constant = Backend.Tock.Field
val typ_unchecked : ( t, Constant.t ) Typ.t
val typ : ( t, Constant.t, Internal_Basic.field ) Snarky_backendless.Typ.t