package atdgen

  1. Overview
  2. Docs
exception Error of string
val error : string -> 'a
val read_error : unit -> 'a
val read_error_at : Bi_inbuf.t -> 'a
val tag_error : int -> string -> 'a
val unsupported_variant : int -> bool -> 'a
val missing_tuple_fields : int -> int list -> 'a
val missing_fields : int array -> string array -> 'a
val get_unit_reader : Bi_io.node_tag -> Bi_inbuf.t -> unit
val read_unit : Bi_inbuf.t -> unit
val get_bool_reader : Bi_io.node_tag -> Bi_inbuf.t -> bool
val read_bool : Bi_inbuf.t -> bool
val get_int_reader : int -> Bi_inbuf.t -> int
val read_int : Bi_inbuf.t -> int
val get_char_reader : Bi_io.node_tag -> Bi_inbuf.t -> char
val read_char : Bi_inbuf.t -> char
val get_int16_reader : Bi_io.node_tag -> Bi_inbuf.t -> int
val read_int16 : Bi_inbuf.t -> int
val get_int32_reader : Bi_io.node_tag -> Bi_inbuf.t -> int32
val read_int32 : Bi_inbuf.t -> int32
val get_int64_reader : Bi_io.node_tag -> Bi_inbuf.t -> int64
val read_int64 : Bi_inbuf.t -> int64
val get_float32_reader : Bi_io.node_tag -> Bi_inbuf.t -> float
val get_float64_reader : Bi_io.node_tag -> Bi_inbuf.t -> float
val get_float_reader : Bi_io.node_tag -> Bi_inbuf.t -> float
val read_float32 : Bi_inbuf.t -> float
val read_float64 : Bi_inbuf.t -> float
val read_float : Bi_inbuf.t -> float
val get_string_reader : Bi_io.node_tag -> Bi_inbuf.t -> string
val read_string : Bi_inbuf.t -> string
val read_array_value : (Bi_io.node_tag -> Bi_inbuf.t -> 'a) -> Bi_inbuf.t -> 'a array
val read_list_value : (Bi_io.node_tag -> Bi_inbuf.t -> 'a) -> Bi_inbuf.t -> 'a list
val get_array_reader : (Bi_io.node_tag -> Bi_inbuf.t -> 'a) -> Bi_io.node_tag -> Bi_inbuf.t -> 'a array
val get_list_reader : (Bi_io.node_tag -> Bi_inbuf.t -> 'a) -> Bi_io.node_tag -> Bi_inbuf.t -> 'a list
val read_array : (Bi_io.node_tag -> Bi_inbuf.t -> 'a) -> Bi_inbuf.t -> 'a array
val read_list : (Bi_io.node_tag -> Bi_inbuf.t -> 'a) -> Bi_inbuf.t -> 'a list
val write_tagged : Bi_io.node_tag -> (Bi_outbuf.t -> 'a -> 'b) -> Bi_outbuf.t -> 'a -> 'b
val write_untagged_option : (Bi_outbuf.t -> 'a -> unit) -> Bi_outbuf.t -> 'a option -> unit
val write_option : (Bi_outbuf.t -> 'a -> unit) -> Bi_outbuf.t -> 'a option -> unit
val array_init2 : int -> 'a -> (int -> 'a -> 'b) -> 'b array
val array_init3 : int -> 'a -> 'b -> (int -> 'a -> 'b -> 'c) -> 'c array
val array_iter2 : ('a -> 'b -> 'c) -> 'a -> 'b array -> unit
val array_iter3 : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c array -> unit
val list_iter2 : ('a -> 'b -> 'c) -> 'a -> 'b list -> unit
val list_iter3 : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c list -> unit
val write_untagged_array : Bi_io.node_tag -> (Bi_outbuf.t -> 'a -> 'b) -> Bi_outbuf.t -> 'a array -> unit
val write_array : Bi_io.node_tag -> (Bi_outbuf.t -> 'a -> 'b) -> Bi_outbuf.t -> 'a array -> unit
val write_untagged_list : Bi_io.node_tag -> (Bi_outbuf.t -> 'a -> 'b) -> Bi_outbuf.t -> 'a list -> unit
val write_list : Bi_io.node_tag -> (Bi_outbuf.t -> 'a -> 'b) -> Bi_outbuf.t -> 'a list -> unit
val get_poly_tag : [> ] -> int
type identity_t = {
  1. mutable _identity : 'a. 'a -> 'a;
}
val identity_ref : identity_t
val identity : 'a -> 'a
type t = {
  1. _a : int option;
  2. _b : int;
}
val create : unit -> t
val test : unit -> unit