Args (fields_derivers.Fields_derivers_zkapps.Make.Graphql.Args)

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 -> 'f Schema.Arg.arg_typ ) Core_kernel.ref
    ; map : ( 'f -> 'f' ) Core_kernel.ref
    ; nullable_graphql_arg : 
      ( unit -> 'nullable1 Schema.Arg.arg_typ ) Core_kernel.ref
    ; skip : bool Core_kernel.ref.. >,
    'f',
    'f,
    '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', 'ty, 'nullable2 ) Acc.t, 'ty', 'ty, 'nullable2 )
              Acc.t,
            'ty',
            'ty,
            'nullable2 )
            Acc.t,
          'ty',
          'ty,
          'nullable2 )
          Acc.t ->
        'ty' )
        Core_kernel.ref
    ; map : ( 'ty -> 'ty' ) Core_kernel.ref
    ; nullable_graphql_arg : 
      ( unit -> 'nullable2 Schema.Arg.arg_typ ) Core_kernel.ref
    ; skip : bool Core_kernel.ref.. > as 'c,
    'ty',
    'ty,
    'nullable2 )
    Acc.t ->
  ( ( 'c, 'ty', 'ty, 'nullable2 ) Creator.t ->
  'f' )
  * ( 'e, 'ty', 'ty, 'nullable2 ) 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, 'result, 'ty, 'nullable ) Output.t,
             'result,
             'ty,
             'nullable )
             Input.t ->
           'result )
           Core_kernel.ref
       ; map : ( 'ty -> 'result ) Core_kernel.ref
       ; nullable_graphql_arg : 
         ( unit -> 'nullable Schema.Arg.arg_typ ) Core_kernel.ref
       ; skip : bool Core_kernel.ref.. > as 'a,
       'result,
       'ty,
       'nullable )
       Input.t ->
   'result )
   * ( 'a, 'result, 'ty, 'nullable ) Acc.t) ->
  ( 'c, 'result, 'ty, '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 ->
  'a

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 ->
  'a

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 ->
  'a

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 ->
  'a

val list : 
  < 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.. > ->
  ( ( < graphql_arg : 
        ( unit -> 'input_type list Schema.Arg.arg_typ ) Core_kernel.ref
      ; graphql_arg_accumulator : 'a Core_kernel.ref
      ; map : ( 'input_type list -> 'result 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,
      'result list,
      'input_type list,
      'input_type list option )
      Input.t,
    'result list,
    'input_type list,
    'input_type list option )
    Input.t ->
  ( 'c, 'result list, 'input_type 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.. >,
    'result,
    'input_type,
    'b )
    Input.t ->
  < graphql_arg : ( unit -> 'b Schema.Arg.arg_typ ) Core_kernel.ref
    ; graphql_arg_accumulator : 'a Core_kernel.ref
    ; map : ( 'input_type option -> 'result option ) Core_kernel.ref
    ; nullable_graphql_arg : ( unit -> 'b Schema.Arg.arg_typ ) Core_kernel.ref.. > as 'c ->
  'c

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 -> 'c ) Core_kernel.ref
    ; nullable_graphql_arg : ( unit -> 'b Schema.Arg.arg_typ ) Core_kernel.ref
    ; skip : bool Core_kernel.ref.. >,
    'c,
    'input_type,
    'b )
    Input.t ->
  ( ( < graphql_arg : 
        ( unit -> 'input_type Schema.Arg.arg_typ ) Core_kernel.ref
      ; graphql_arg_accumulator : 'a Core_kernel.ref
      ; map : ( 'input_type -> 'd ) Core_kernel.ref
      ; nullable_graphql_arg : 
        ( unit -> 'b Schema.Arg.arg_typ ) Core_kernel.ref
      ; skip : bool Core_kernel.ref.. > as 'e,
      'd,
      'input_type,
      'b )
      Input.t,
    'd,
    'input_type,
    'b )
    Input.t ->
  ( 'f, 'd, 'input_type, 'b ) Input.t