Direct (zprize.Field_ops_lib.Adder_subtractor

val iter : 
  'a t ->
  result:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> unit ) ->
  carry:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> unit ) ->
  unit

val fold : 
  'a t ->
  init:'acc__0 ->
  result:( 'acc__0 -> ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> 'acc__1 ) ->
  carry:( 'acc__1 -> ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> 'acc__2 ) ->
  'acc__2

val for_all : 
  'a t ->
  result:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> bool ) ->
  carry:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> bool ) ->
  bool

val exists : 
  'a t ->
  result:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> bool ) ->
  carry:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> bool ) ->
  bool

val to_list : 
  'a t ->
  result:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> 'elem__ ) ->
  carry:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> 'elem__ ) ->
  'elem__ list

val map : 
  'a t ->
  result:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> 'a ) ->
  carry:( ( 'a t, 'a ) Fieldslib.Field.t -> 'a t -> 'a -> 'a ) ->
  'a t

val set_all_mutable_fields : 'a t -> unit