Up
Module
Pre_sexp
Signature
module
String
= Bytes
include
Type
type
t =
| Atom
of
string
| List
of
t
list
Type of S-expressions
exception
Of_sexp_error
of
exn *
t
type
bigstring = (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t
val
default_indent : int Pervasives.ref
val
must_escape : bytes -> bool
val
esc_str : bytes -> bytes
val
index_of_newline : bytes -> int -> int option
val
get_substring : bytes -> int -> int option -> bytes
val
is_one_line : bytes -> bool
val
pp_hum_maybe_esc_str : Format.formatter -> bytes -> unit
val
mach_maybe_esc_str : bytes -> bytes
val
pp_hum_indent : int -> Format.formatter ->
t
-> unit
val
pp_hum_rest : int -> Format.formatter ->
t
list -> unit
val
pp_mach_internal : bool -> Format.formatter ->
t
-> bool
val
pp_mach_rest : bool -> Format.formatter ->
t
list -> unit
val
pp_hum : Format.formatter ->
t
-> unit
val
pp_mach : Format.formatter ->
t
-> unit
val
pp : Format.formatter ->
t
-> unit
val
size_loop : int * int ->
t
-> int * int
val
size :
t
-> int * int
val
to_buffer_hum : buf:Buffer.t -> ?indent:int ->
t
-> unit
val
to_buffer_mach : buf:Buffer.t ->
t
-> unit
val
to_buffer : buf:Buffer.t ->
t
-> unit
val
to_buffer_gen : buf:'a -> add_char:('a -> char -> unit) -> add_string:('a -> bytes -> unit) ->
t
-> unit
val
buffer : unit -> Buffer.t
val
with_new_buffer : Pervasives.out_channel -> (Buffer.t -> unit) -> unit
val
output_hum : Pervasives.out_channel ->
t
-> unit
val
output_hum_indent : int -> Pervasives.out_channel ->
t
-> unit
val
output_mach : Pervasives.out_channel ->
t
-> unit
val
output : Pervasives.out_channel ->
t
-> unit
module
Tmp_file
: sig .. end
val
save_of_output : ?perm:int -> (Pervasives.out_channel -> 'a -> unit) -> string -> 'a -> unit
val
output_sexp_nl : (Pervasives.out_channel -> 'a -> unit) -> Pervasives.out_channel -> 'a -> unit
val
save_hum : ?perm:int -> string ->
t
-> unit
val
save_mach : ?perm:int -> string ->
t
-> unit
val
save : ?perm:int -> string ->
t
-> unit
val
output_sexps_nl : (Pervasives.out_channel -> 'a -> unit) -> Pervasives.out_channel -> 'a list -> unit
val
save_sexps_hum : ?perm:int -> string ->
t
list -> unit
val
save_sexps_mach : ?perm:int -> string ->
t
list -> unit
val
save_sexps : ?perm:int -> string ->
t
list -> unit
val
to_string_hum : ?indent:int ->
t
-> bytes
val
to_string_mach :
t
-> bytes
val
to_string :
t
-> bytes
val
scan_sexp : ?buf:Buffer.t -> Lexing.lexbuf ->
Type.t
val
scan_sexp_opt : ?buf:Buffer.t -> Lexing.lexbuf ->
Type.t
option
val
scan_sexps : ?buf:Buffer.t -> Lexing.lexbuf ->
Type.t
list
val
scan_rev_sexps : ?buf:Buffer.t -> Lexing.lexbuf ->
Type.t
list
val
get_main_buf : Buffer.t option -> Lexing.lexbuf ->
Parser.token
val
scan_fold_sexps : ?buf:Buffer.t -> f:('a ->
Type.t
-> 'a) -> init:'a -> Lexing.lexbuf -> 'a
val
scan_iter_sexps : ?buf:Buffer.t -> f:(
Type.t
-> unit) -> Lexing.lexbuf -> unit
val
scan_sexps_conv : ?buf:Buffer.t -> f:(
Type.t
-> 'a) -> Lexing.lexbuf -> 'a list
module
Annot
: sig .. end
module
Parse_pos
: sig .. end
module
Cont_state
: sig .. end
type
('a, 't) parse_result =
| Done
of
't *
Parse_pos.t
| Cont
of
Cont_state.t
* ('a, 't)
parse_fun
type
('a, 't) parse_fun = pos:int -> len:int -> 'a -> ('a, 't)
parse_result
type
't parse_state = {
parse_pos
:
Parse_pos.t
;
mutable
pstack
: 't
;
pbuf
: Buffer.t
;
}
type
parse_error = {
location
: string
;
err_msg
: string
;
parse_state
: [
| `Sexp
of
t
list list
parse_state
| `Annot
of
Annot.stack
parse_state
]
;
}
exception
Parse_error
of
parse_error
val
bump_text_line : 'a
parse_state
-> unit
val
bump_text_pos : 'a
parse_state
-> unit
val
bump_pos_cont : 'a
parse_state
-> 'b -> max_pos:'c -> pos:int -> ('a
parse_state
-> 'b -> max_pos:'c -> pos:int -> 'd) -> 'd
val
bump_line_cont : 'a
parse_state
-> 'b -> max_pos:'c -> pos:int -> ('a
parse_state
-> 'b -> max_pos:'c -> pos:int -> 'd) -> 'd
val
add_bump : ('a
parse_state
-> unit) -> 'a
parse_state
-> 'b -> max_pos:'c -> pos:int -> char -> ('a
parse_state
-> 'b -> max_pos:'c -> pos:int -> 'd) -> 'd
val
add_bump_pos : 'a
parse_state
-> 'b -> max_pos:'c -> pos:int -> char -> ('a
parse_state
-> 'b -> max_pos:'c -> pos:int -> 'd) -> 'd
val
add_bump_line : 'a
parse_state
-> 'b -> max_pos:'c -> pos:int -> char -> ('a
parse_state
-> 'b -> max_pos:'c -> pos:int -> 'd) -> 'd
val
set_parse_pos :
Parse_pos.t
-> int -> unit
val
mk_parse_pos : 'a
parse_state
-> int ->
Parse_pos.t
val
raise_parse_error : [
| `Annot
of
Annot.stack
parse_state
| `Sexp
of
t
list list
parse_state
] -> string -> int -> string -> 'a
val
raise_unexpected_char : [
| `Annot
of
Annot.stack
parse_state
| `Sexp
of
t
list list
parse_state
] -> string -> int -> char -> 'a
val
mk_cont_parser : (pos:int -> len:int -> 'a -> 'b) -> 'c -> 'a -> max_pos:int -> pos:int -> 'b
val
bump_found_atom : (
t
list list
parse_state
-> unit) ->
t
list list
parse_state
-> 'a -> max_pos:'b -> pos:int -> (
t
list list
parse_state
-> 'a -> max_pos:'b -> pos:int -> ('c,
t
)
parse_result
) -> ('c,
t
)
parse_result
val
check_str_bounds : string -> pos:int -> len:int -> string -> int
val
mk_cont_state : string -> ('a -> string -> max_pos:int -> pos:int -> (string, 'b)
parse_result
) -> 'a -> cont_state:
Cont_state.t
-> (string, 'b)
parse_result
val
mk_cont : string -> ('a list
parse_state
-> string -> max_pos:int -> pos:int -> (string, 'b)
parse_result
) -> 'a list
parse_state
-> (string, 'b)
parse_result
val
parse_str :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_nl :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_comment :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
maybe_parse_comment :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
maybe_parse_close_comment :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_sexp_comment :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_block_comment :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_atom :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
maybe_parse_bad_atom_pipe :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
maybe_parse_bad_atom_hash :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
reg_parse_quoted :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_quoted :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_escaped :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_skip_ws :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_skip_ws_nl :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
t
)
parse_result
val
parse_dec :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> count:int -> d:int -> (bytes,
t
)
parse_result
val
parse_hex :
t
list list
parse_state
-> bytes -> max_pos:int -> pos:int -> count:int -> d:int -> (bytes,
t
)
parse_result
val
parse_str : ?parse_pos:
Parse_pos.t
-> ?len:int -> bytes -> (bytes,
t
)
parse_result
val
parse : ?parse_pos:
Parse_pos.t
-> ?len:int -> bytes -> (bytes,
t
)
parse_result
val
get_glob_ofs :
Parse_pos.t
-> int -> int
val
mk_annot_pos :
Parse_pos.t
-> int ->
Annot.pos
val
mk_annot_pos1 :
Parse_pos.t
-> int ->
Annot.pos
val
add_annot_pos :
Annot.stack
parse_state
-> int -> unit
val
add_annot_pos1 :
Annot.stack
parse_state
-> int -> unit
val
get_annot_range :
Annot.stack
parse_state
-> int ->
Annot.range
val
mk_annot_atom :
Annot.stack
parse_state
-> string -> int ->
Annot.t
val
mk_annot_list :
Annot.stack
parse_state
->
Annot.t
list -> int ->
Annot.t
val
init_annot_pstate : unit ->
Annot.stack
val
bump_found_atom : (
Annot.stack
parse_state
-> unit) ->
Annot.stack
parse_state
-> 'a -> max_pos:'b -> pos:int -> (
Annot.stack
parse_state
-> 'a -> max_pos:'b -> pos:int -> ('c,
Annot.t
)
parse_result
) -> ('c,
Annot.t
)
parse_result
val
check_str_bounds : string -> pos:int -> len:int -> string -> int
val
mk_cont_state : string -> ('a -> string -> max_pos:int -> pos:int -> (string, 'b)
parse_result
) -> 'a -> cont_state:
Cont_state.t
-> (string, 'b)
parse_result
val
mk_cont : string -> (
Annot.stack
parse_state
-> string -> max_pos:int -> pos:int -> (string, 'a)
parse_result
) ->
Annot.stack
parse_state
-> (string, 'a)
parse_result
val
parse_str_annot :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_nl :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_comment :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
maybe_parse_comment :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
maybe_parse_close_comment :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_sexp_comment :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_block_comment :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_atom :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
maybe_parse_bad_atom_pipe :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
maybe_parse_bad_atom_hash :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
reg_parse_quoted :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_quoted :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_escaped :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_skip_ws :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_skip_ws_nl :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> (bytes,
Annot.t
)
parse_result
val
parse_dec :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> count:int -> d:int -> (bytes,
Annot.t
)
parse_result
val
parse_hex :
Annot.stack
parse_state
-> bytes -> max_pos:int -> pos:int -> count:int -> d:int -> (bytes,
Annot.t
)
parse_result
val
parse_str_annot : ?parse_pos:
Parse_pos.t
-> ?len:int -> bytes -> (bytes,
Annot.t
)
parse_result
val
bump_found_atom : (
t
list list
parse_state
-> unit) ->
t
list list
parse_state
-> 'a -> max_pos:'b -> pos:int -> (
t
list list
parse_state
-> 'a -> max_pos:'b -> pos:int -> ('c,
t
)
parse_result
) -> ('c,
t
)
parse_result
val
check_str_bounds : string -> pos:int -> len:int ->
bigstring
-> int
val
mk_cont_state : string -> ('a ->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
, 'b)
parse_result
) -> 'a -> cont_state:
Cont_state.t
-> (
bigstring
, 'b)
parse_result
val
mk_cont : string -> ('a list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
, 'b)
parse_result
) -> 'a list
parse_state
-> (
bigstring
, 'b)
parse_result
val
parse_bigstring :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_nl :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_comment :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
maybe_parse_comment :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
maybe_parse_close_comment :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_sexp_comment :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_block_comment :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_atom :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
maybe_parse_bad_atom_pipe :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
maybe_parse_bad_atom_hash :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
reg_parse_quoted :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_quoted :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_escaped :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_skip_ws :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_skip_ws_nl :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
t
)
parse_result
val
parse_dec :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> count:int -> d:int -> (
bigstring
,
t
)
parse_result
val
parse_hex :
t
list list
parse_state
->
bigstring
-> max_pos:int -> pos:int -> count:int -> d:int -> (
bigstring
,
t
)
parse_result
val
parse_bigstring : ?parse_pos:
Parse_pos.t
-> ?len:int ->
bigstring
-> (
bigstring
,
t
)
parse_result
val
bump_found_atom : (
Annot.stack
parse_state
-> unit) ->
Annot.stack
parse_state
-> 'a -> max_pos:'b -> pos:int -> (
Annot.stack
parse_state
-> 'a -> max_pos:'b -> pos:int -> ('c,
Annot.t
)
parse_result
) -> ('c,
Annot.t
)
parse_result
val
check_str_bounds : string -> pos:int -> len:int ->
bigstring
-> int
val
mk_cont_state : string -> ('a ->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
, 'b)
parse_result
) -> 'a -> cont_state:
Cont_state.t
-> (
bigstring
, 'b)
parse_result
val
mk_cont : string -> (
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
, 'a)
parse_result
) ->
Annot.stack
parse_state
-> (
bigstring
, 'a)
parse_result
val
parse_bigstring_annot :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_nl :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_comment :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
maybe_parse_comment :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
maybe_parse_close_comment :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_sexp_comment :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_block_comment :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_atom :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
maybe_parse_bad_atom_pipe :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
maybe_parse_bad_atom_hash :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
reg_parse_quoted :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_quoted :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_escaped :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_skip_ws :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_skip_ws_nl :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_dec :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> count:int -> d:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_hex :
Annot.stack
parse_state
->
bigstring
-> max_pos:int -> pos:int -> count:int -> d:int -> (
bigstring
,
Annot.t
)
parse_result
val
parse_bigstring_annot : ?parse_pos:
Parse_pos.t
-> ?len:int ->
bigstring
-> (
bigstring
,
Annot.t
)
parse_result
val
mk_this_parse : ?parse_pos:
Parse_pos.t
-> (?parse_pos:
Parse_pos.t
-> ?len:'a -> 'b -> 'c) -> pos:int -> len:'a -> 'b -> 'c
val
gen_input_sexp : (?parse_pos:
Parse_pos.t
-> ?len:int -> bytes -> (bytes, 'a)
parse_result
) -> ?parse_pos:
Parse_pos.t
-> Pervasives.in_channel -> 'a
val
input_sexp : ?parse_pos:
Parse_pos.t
-> Pervasives.in_channel ->
t
val
gen_input_rev_sexps : (?parse_pos:
Parse_pos.t
-> ?len:int -> bytes -> (bytes, 'a)
parse_result
) -> ?parse_pos:
Parse_pos.t
-> ?buf:bytes -> Pervasives.in_channel -> 'a list
val
input_rev_sexps : ?parse_pos:
Parse_pos.t
-> ?buf:bytes -> Pervasives.in_channel ->
t
list
val
input_sexps : ?parse_pos:
Parse_pos.t
-> ?buf:bytes -> Pervasives.in_channel ->
t
list
val
of_string_bigstring : string -> ('a -> ('b, 'c)
parse_result
) -> 'b -> ('a -> int) -> ('a -> int -> int -> string) -> 'a -> 'c
val
of_string : bytes ->
t
val
get_bstr_sub_str : (char, 'a, 'b) Bigarray.Array1.t -> int -> int -> bytes
val
bstr_ws_buf : (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t
val
of_bigstring :
bigstring
->
t
val
gen_load_rev_sexps : (?parse_pos:'a -> ?buf:'b -> Pervasives.in_channel -> 'c) -> ?buf:'b -> string -> 'c
val
load_rev_sexps : ?buf:bytes -> string ->
t
list
val
load_sexps : ?buf:bytes -> string ->
t
list
val
gen_load_sexp_loc : string
val
gen_load_sexp : (?parse_pos:
Parse_pos.t
-> ?len:int -> bytes -> (bytes, 'a)
parse_result
) -> ?strict:bool -> ?buf:bytes -> string -> 'a
val
load_sexp : ?strict:bool -> ?buf:bytes -> string ->
t
module
Annotated
: sig .. end
val
load_sexp_conv : ?strict:bool -> ?buf:bytes -> string -> (
t
-> 'a) -> [>
| `Error
of
exn *
Annotated.t
| `Result
of
'a
]
val
raise_conv_exn : file:string -> [<
| `Error
of
exn *
Annotated.t
| `Result
of
'a
] -> 'a
val
load_sexp_conv_exn : ?strict:bool -> ?buf:bytes -> string -> (
t
-> 'a) -> 'a
val
load_sexps_conv : ?buf:bytes -> string -> (
t
-> 'a) -> [>
| `Error
of
exn *
Annotated.t
| `Result
of
'a
] list
val
load_sexps_conv_exn : ?buf:bytes -> string -> (
t
-> 'a) -> 'a list
val
gen_of_string_conv : ('a ->
Type.t
) -> ('a ->
Annotated.t
) -> 'a -> (
Type.t
-> 'b) -> [>
| `Error
of
exn *
Annotated.t
| `Result
of
'b
]
val
of_string_conv : bytes -> (
t
-> 'a) -> [>
| `Error
of
exn *
Annotated.t
| `Result
of
'a
]
val
of_bigstring_conv :
bigstring
-> (
t
-> 'a) -> [>
| `Error
of
exn *
Annotated.t
| `Result
of
'a
]
module
Of_string_conv_exn
: sig .. end
val
gen_of_string_conv_exn : ('a ->
Type.t
) -> 'a -> (
Type.t
-> 'b) -> 'b
val
of_string_conv_exn : bytes -> (
t
-> 'a) -> 'a
val
of_bigstring_conv_exn :
bigstring
-> (
t
-> 'a) -> 'a
val
unit :
t
external
sexp_of_t :
t
->
t
= "%identity"
external
t_of_sexp :
t
->
t
= "%identity"
type
found = [
| `Found
| `Pos
of
int *
found
]
type
search_result = [
| `Not_found
|
found
]
val
search_physical :
t
-> contained:
t
-> [
| `Found
| `Not_found
| `Pos
of
int *
found
]
val
subst_found :
t
-> subst:
t
-> ([<
| `Found
| `Pos
of
int * 'a
]
as
'a) ->
t