Js_layout (fields_derivers.Fields_derivers_zkapps.Js

module Input : sig ... end

module Accumulator : sig ... end

val docs : Fields_derivers.Annotations.Fields.T.t -> Yojson.Safe.t

val add_field : 
  t_fields_annots:( string -> (Core_kernel.String.t * string option) list ) ->
  < js_layout : Yojson.Safe.t Core_kernel.ref ; skip : bool Core_kernel.ref.. > ->
  ( 'a, 'b, 'c ) Fieldslib.Field.t_with_perm ->
  < js_layout : 
    [> `Assoc of (string * Yojson.Safe.t) list ] as 'd Core_kernel.ref
    ; js_layout_accumulator : Accumulator.field option list Core_kernel.ref.. >
    Accumulator.t ->
  ( 'e ->
  'f )
  * < js_layout : 'g Core_kernel.ref
      ; js_layout_accumulator : Accumulator.field option list Core_kernel.ref.. >
      Accumulator.t

val finish : 
  string ->
  t_toplevel_annots:( unit -> (Core_kernel.String.t * string option) list ) ->
  ('a
   * < js_layout : 
       [> `Assoc of
            (string
             * [> `Assoc of (string * Yojson.Safe.t) list
               | `List of [> `String of string ] list
               | `Null
               | `String of string ])
              list ]
         Core_kernel.ref
   ; js_layout_accumulator : Accumulator.field option list Core_kernel.ref.. > as 'b) ->
  'c

type leaf_type =

| String

| Number

| Null

| Field

| Bool

| UInt32

| UInt64

| PublicKey

| Custom of string

val leaf_type_to_string : leaf_type -> string

type option_type =

| Flagged_option

| Closed_interval of string * string

| Or_undefined

val leaf_type : 
  leaf_type ->
  [> `Assoc of (string * [> `String of string ]) list ]

val skip : 
  < js_layout : 
    [> `Assoc of (string * [> `String of string ]) list ] Core_kernel.ref
    ; skip : bool Core_kernel.ref.. > as 'a ->
  'b

val int : 
  < js_layout : 
    [> `Assoc of (string * [> `String of string ]) list ] Core_kernel.ref.. > as 'a ->
  'b

val string : 
  < js_layout : 
    [> `Assoc of (string * [> `String of string ]) list ] Core_kernel.ref.. > as 'a ->
  'b

val bool : 
  < js_layout : 
    [> `Assoc of (string * [> `String of string ]) list ] Core_kernel.ref.. > as 'a ->
  'b

val list : 
  ?static_length:int ->
  < js_layout : Yojson.Safe.t Core_kernel.ref.. > ->
  < js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref.. > as 'a
    Input.t
    Input.t ->
  'b Input.t

val option : 
  < js_layout : Yojson.Safe.t Core_kernel.ref.. > ->
  < js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref.. > as 'a
    Input.t
    Input.t ->
  js_type:option_type ->
  'b Input.t

val wrapped : 
  < js_layout : 'a Core_kernel.ref.. > ->
  < js_layout : 'c Core_kernel.ref.. > as 'b ->
  'd

val with_checked : 
  name:string ->
  < js_layout : Yojson.Safe.t Core_kernel.ref.. > Input.t ->
  < js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref.. > as 'a
    Input.t ->
  'b Input.t