Args (fields_derivers.Fields_derivers_graphql.Graphql

module Input : sig ... end

module Acc : sig ... end

module Creator : sig ... end

module Output : sig ... end

val add_field : 
  ?skip_data:'f ->
  t_fields_annots:( string -> (Core_kernel.String.t * string option) list ) ->
  ( < graphql_arg : ( unit -> 'f0 Schema.Arg.arg_typ ) Core_kernel.ref
    ; map : ( 'f0 -> 'f' ) Core_kernel.ref
    ; nullable_graphql_arg : 
      ( unit -> 'nullable1 Schema.Arg.arg_typ ) Core_kernel.ref
    ; skip : bool Core_kernel.ref.. >,
    'f',
    'f0,
    'nullable1 )
    Input.t ->
  ( [< `Read | `Set_and_create ], 'a, 'b ) Fieldslib.Field.t_with_perm ->
  ( < graphql_arg : ( unit -> 'ty Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'ty' Acc.T.t Core_kernel.ref
    ; graphql_creator : 
      ( ( ( ( ( 'd, 'ty'0, 'ty0, 'nullable2 ) Acc.t, 'ty'0, 'ty0, 'nullable2 )
              Acc.t,
            'ty'0,
            'ty0,
            'nullable2 )
            Acc.t,
          'ty'0,
          'ty0,
          'nullable2 )
          Acc.t ->
        'ty'0 )
        Core_kernel.ref
    ; map : ( 'ty -> 'ty'1 ) Core_kernel.ref
    ; nullable_graphql_arg : 
      ( unit -> 'nullable20 Schema.Arg.arg_typ ) Core_kernel.ref
    ; skip : bool Core_kernel.ref.. > as 'c,
    'ty',
    'ty,
    'nullable20 )
    Acc.t ->
  ( ( 'c, 'ty'1, 'ty, 'nullable20 ) Creator.t ->
  'f'0 )
  * ( 'e, 'ty'2, 'ty1, 'nullable21 ) Acc.t

val finish : 
  string ->
  t_toplevel_annots:( unit -> (Core_kernel.String.t * string option) list ) ->
  (( ( < graphql_arg : ( unit -> 'ty Schema.Arg.arg_typ ) Core_kernel.ref
       ; graphql_arg_accumulator : 'result Acc.T.t Core_kernel.ref
       ; graphql_creator : 
         ( ( ( 'b, 'result0, 'ty0, 'nullable ) Output.t,
             'result0,
             'ty0,
             'nullable )
             Input.t ->
           'result1 )
           Core_kernel.ref
       ; map : ( 'ty -> 'result2 ) Core_kernel.ref
       ; nullable_graphql_arg : 
         ( unit -> 'nullable0 Schema.Arg.arg_typ ) Core_kernel.ref
       ; skip : bool Core_kernel.ref.. > as 'a,
       'result2,
       'ty,
       'nullable0 )
       Input.t ->
   'result3 )
   * ( 'a, 'result, 'ty, 'nullable0 ) Acc.t) ->
  ( 'c, 'result0, 'ty0, 'nullable ) Output.t

val skip : 
  < graphql_arg : ( unit -> 'b ) Core_kernel.ref
    ; graphql_arg_accumulator : 'c Core_kernel.ref
    ; map : ( 'd -> 'd ) Core_kernel.ref
    ; nullable_graphql_arg : ( unit -> 'e ) Core_kernel.ref
    ; skip : bool Core_kernel.ref.. > as 'a ->
  'f

val int : 
  < graphql_arg : ( unit -> int Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'b Core_kernel.ref
    ; map : ( 'c -> 'c ) Core_kernel.ref
    ; nullable_graphql_arg : 
      ( unit -> int option Schema.Arg.arg_typ ) Core_kernel.ref.. > as 'a ->
  'd

val string : 
  < graphql_arg : ( unit -> string Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'b Core_kernel.ref
    ; map : ( 'c -> 'c ) Core_kernel.ref
    ; nullable_graphql_arg : 
      ( unit -> string option Schema.Arg.arg_typ ) Core_kernel.ref.. > as 'a ->
  'd

val bool : 
  < graphql_arg : ( unit -> bool Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'b Core_kernel.ref
    ; map : ( 'c -> 'c ) Core_kernel.ref
    ; nullable_graphql_arg : 
      ( unit -> bool option Schema.Arg.arg_typ ) Core_kernel.ref.. > as 'a ->
  'd

val list : 
  < graphql_arg : ( unit -> 'input_type Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'a Core_kernel.ref
    ; map : ( 'input_type0 -> 'result ) Core_kernel.ref.. > ->
  ( ( < graphql_arg : 
        ( unit -> 'input_type1 list Schema.Arg.arg_typ ) Core_kernel.ref
      ; graphql_arg_accumulator : 'c Core_kernel.ref
      ; map : ( 'input_type1 list -> 'result0 list ) Core_kernel.ref
      ; nullable_graphql_arg : 
        ( unit -> 'input_type list option Schema.Arg.arg_typ ) Core_kernel.ref
      ; skip : bool Core_kernel.ref.. > as 'b,
      'result0 list,
      'input_type1 list,
      'input_type list option )
      Input.t,
    'result0 list,
    'input_type1 list,
    'input_type list option )
    Input.t ->
  ( 'd, 'result0 list, 'input_type1 list, 'input_type list option ) Input.t

val option : 
  ( < graphql_arg : ( unit -> 'input_type Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'a Core_kernel.ref
    ; map : ( 'input_type -> 'result ) Core_kernel.ref
    ; nullable_graphql_arg : ( unit -> 'b Schema.Arg.arg_typ ) Core_kernel.ref
    ; skip : bool Core_kernel.ref.. >,
    'result0,
    'input_type0,
    'b )
    Input.t ->
  < graphql_arg : ( unit -> 'b Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'd Core_kernel.ref
    ; map : ( 'input_type1 option -> 'result1 option ) Core_kernel.ref
    ; nullable_graphql_arg : ( unit -> 'b Schema.Arg.arg_typ ) Core_kernel.ref.. > as 'c ->
  'e

val map : 
  f:( 'c -> 'd ) ->
  ( < graphql_arg : ( unit -> 'input_type Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'a Core_kernel.ref
    ; map : ( 'input_type -> 'c0 ) Core_kernel.ref
    ; nullable_graphql_arg : ( unit -> 'b Schema.Arg.arg_typ ) Core_kernel.ref
    ; skip : bool Core_kernel.ref.. >,
    'c1,
    'input_type0,
    'b )
    Input.t ->
  ( ( < graphql_arg : 
        ( unit -> 'input_type1 Schema.Arg.arg_typ ) Core_kernel.ref
      ; graphql_arg_accumulator : 'f Core_kernel.ref
      ; map : ( 'input_type1 -> 'd0 ) Core_kernel.ref
      ; nullable_graphql_arg : 
        ( unit -> 'g Schema.Arg.arg_typ ) Core_kernel.ref
      ; skip : bool Core_kernel.ref.. > as 'e,
      'd1,
      'input_type2,
      'h )
      Input.t,
    'd1,
    'input_type2,
    'h )
    Input.t ->
  ( 'i, 'd1, 'input_type2, 'h ) Input.t