To_yojson (fields_derivers.Fields_derivers_json.To

module Input : sig ... end

module Accumulator : sig ... end

val add_field : 
  t_fields_annots:( string -> (Core_kernel.String.t * string option) list ) ->
  < contramap : ( 'a -> 'b ) Core_kernel.ref
    ; skip : bool Core_kernel.ref
    ; to_json : ( 'c -> 'd ) Core_kernel.ref.. > ->
  ( 'e, 'f, 'g ) Fieldslib.Field.t_with_perm ->
  < to_json_accumulator : 
    (Core_kernel.String.t * ( 'i -> 'j )) option list Core_kernel.ref.. > as 'h ->
  ( 'k -> 'l ) * 'm

val finish : 
  ('a
   * < contramap : ( 'c -> 'c ) Core_kernel.ref
   ; to_json : ( 'd -> [> `Assoc of ('e * 'f) list ] ) Core_kernel.ref
   ; to_json_accumulator : ('g * ( 'h -> 'i )) option list Core_kernel.ref.. > as 'b) ->
  'j

val skip : 
  < contramap : ( 'b -> 'b ) Core_kernel.ref
    ; skip : bool Core_kernel.ref
    ; to_json : ( 'c -> 'd ) Core_kernel.ref.. > as 'a ->
  'e

val int : 
  < contramap : ( 'b -> 'b ) Core_kernel.ref
    ; to_json : ( 'c -> [> `Int of 'c ] ) Core_kernel.ref.. > as 'a ->
  'd

val string : 
  < contramap : ( 'b -> 'b ) Core_kernel.ref
    ; to_json : ( 'c -> [> `String of 'c ] ) Core_kernel.ref.. > as 'a ->
  'd

val bool : 
  < contramap : ( 'b -> 'b ) Core_kernel.ref
    ; to_json : ( 'c -> [> `Bool of 'c ] ) Core_kernel.ref.. > as 'a ->
  'd

val list : 
  < contramap : ( 'a -> 'b ) Core_kernel.ref
    ; to_json : ( 'c -> 'd ) Core_kernel.ref.. > ->
  < contramap : ( 'a list -> 'b list ) Core_kernel.ref
    ; to_json : ( 'c list -> [> `List of 'd list ] ) Core_kernel.ref.. > as 'e ->
  'f

val option : 
  < contramap : ( 'a -> 'b ) Core_kernel.ref
    ; to_json : ( 'c -> [> `Null ] as 'd ) Core_kernel.ref.. > ->
  < contramap : ( 'a option -> 'b option ) Core_kernel.ref
    ; to_json : ( 'f option -> 'g ) Core_kernel.ref.. > as 'e ->
  'h

val contramap : 
  f:( 'a -> 'b ) ->
  < contramap : ( 'c -> 'd ) Core_kernel.ref ; to_json : 'e Core_kernel.ref.. > ->
  < contramap : ( 'g -> 'h ) Core_kernel.ref
    ; to_json : 'i Core_kernel.ref.. > as 'f ->
  'j