compliance.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47module type S = sig type json type json_stream val lex_string : string -> string val lex_number : Tokens.token -> Tokens.token val lex_integer : Tokens.token -> Tokens.token val lex_largeint : Tokens.token -> Tokens.token val lex_tuple : Tokens.token -> bool val lex_variant : Tokens.token -> bool val comment_check : unit -> (unit, string) result val number_to_string : float -> string val number : [`Float of float | `Infinity | `Neginfinity | `Nan | `Floatlit of string ] -> json val integer : int -> json val largeint : string -> json val null : json val string : string -> json val bool : bool -> json val assoc : (string * json) list -> json val list : json list -> json val tuple : json list -> json val variant : string -> json option -> json (* streaming functions *) module Stream : sig val number : [`Float of float | `Infinity | `Neginfinity | `Nan | `Floatlit of string ] -> json_stream val integer : int -> json_stream val largeint : string -> json_stream val null : json_stream val string : string -> json_stream val bool : bool -> json_stream val array_start : unit -> json_stream val array_end : unit -> json_stream val object_start : unit -> json_stream val object_end : unit -> json_stream val tuple_start : unit -> json_stream val tuple_end : unit -> json_stream val variant_start : unit -> json_stream val variant_end : unit -> json_stream val name : string -> json_stream end end