Module Fields

val names : string list

val open_flags : ([< ], t, open_flags Import.Deferred.t) Fieldslib.Field.t_with_perm

val last_read_time : ([< ], t, Core.Std.Time.t) Fieldslib.Field.t_with_perm

val close_finished : ([< ], t, unit Import.Ivar.t) Fieldslib.Field.t_with_perm

val state : ([< ], t, State.t) Fieldslib.Field.t_with_perm

val bin_prot_buf : ([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm

val bin_prot_len_buf : ([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm

val available : ([< ], t, int) Fieldslib.Field.t_with_perm

val pos : ([< ], t, int) Fieldslib.Field.t_with_perm

val close_may_destroy_buf : ([< ], t, [ ]) Fieldslib.Field.t_with_perm

val buf : ([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm

val id : ([< ], t, Id.t) Fieldslib.Field.t_with_perm

val fd : ([< ], t, Fd.t) Fieldslib.Field.t_with_perm

val make_creator : fd:(([< ], t, Fd.t) Fieldslib.Field.t_with_perm -> 'a -> ('b -> Fd.t) * 'c) -> id:(([< ], t, Id.t) Fieldslib.Field.t_with_perm -> 'c -> ('b -> Id.t) * 'd) -> buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'd -> ('b -> Core.Std.Bigstring.t Core.Std.sexp_opaque) * 'e) -> close_may_destroy_buf:(([< ], t, [ ]) Fieldslib.Field.t_with_perm -> 'e -> ('b -> [ ]) * 'f) -> pos:(([< ], t, int) Fieldslib.Field.t_with_perm -> 'f -> ('b -> int) * 'g) -> available:(([< ], t, int) Fieldslib.Field.t_with_perm -> 'g -> ('b -> int) * 'h) -> bin_prot_len_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'h -> ('b -> Core.Std.Bigstring.t Core.Std.sexp_opaque) * 'i) -> bin_prot_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'i -> ('b -> Core.Std.Bigstring.t Core.Std.sexp_opaque) * 'j) -> state:(([< ], t, State.t) Fieldslib.Field.t_with_perm -> 'j -> ('b -> State.t) * 'k) -> close_finished:(([< ], t, unit Import.Ivar.t) Fieldslib.Field.t_with_perm -> 'k -> ('b -> unit Import.Ivar.t) * 'l) -> last_read_time:(([< ], t, Core.Std.Time.t) Fieldslib.Field.t_with_perm -> 'l -> ('b -> Core.Std.Time.t) * 'm) -> open_flags:(([< ], t, open_flags Import.Deferred.t) Fieldslib.Field.t_with_perm -> 'm -> ('b -> open_flags Import.Deferred.t) * 'n) -> 'a -> ('b -> t) * 'n

val create : fd:Fd.t -> id:Id.t -> buf:Core.Std.Bigstring.t Core.Std.sexp_opaque -> close_may_destroy_buf:[ ] -> pos:int -> available:int -> bin_prot_len_buf:Core.Std.Bigstring.t Core.Std.sexp_opaque -> bin_prot_buf:Core.Std.Bigstring.t Core.Std.sexp_opaque -> state:State.t -> close_finished:unit Import.Ivar.t -> last_read_time:Core.Std.Time.t -> open_flags:open_flags Import.Deferred.t -> t

val map : fd:(([< ], t, Fd.t) Fieldslib.Field.t_with_perm -> Fd.t) -> id:(([< ], t, Id.t) Fieldslib.Field.t_with_perm -> Id.t) -> buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> Core.Std.Bigstring.t Core.Std.sexp_opaque) -> close_may_destroy_buf:(([< ], t, [ ]) Fieldslib.Field.t_with_perm -> [ ]) -> pos:(([< ], t, int) Fieldslib.Field.t_with_perm -> int) -> available:(([< ], t, int) Fieldslib.Field.t_with_perm -> int) -> bin_prot_len_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> Core.Std.Bigstring.t Core.Std.sexp_opaque) -> bin_prot_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> Core.Std.Bigstring.t Core.Std.sexp_opaque) -> state:(([< ], t, State.t) Fieldslib.Field.t_with_perm -> State.t) -> close_finished:(([< ], t, unit Import.Ivar.t) Fieldslib.Field.t_with_perm -> unit Import.Ivar.t) -> last_read_time:(([< ], t, Core.Std.Time.t) Fieldslib.Field.t_with_perm -> Core.Std.Time.t) -> open_flags:(([< ], t, open_flags Import.Deferred.t) Fieldslib.Field.t_with_perm -> open_flags Import.Deferred.t) -> t

val iter : fd:(([< ], t, Fd.t) Fieldslib.Field.t_with_perm -> unit) -> id:(([< ], t, Id.t) Fieldslib.Field.t_with_perm -> unit) -> buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> unit) -> close_may_destroy_buf:(([< ], t, [ ]) Fieldslib.Field.t_with_perm -> unit) -> pos:(([< ], t, int) Fieldslib.Field.t_with_perm -> unit) -> available:(([< ], t, int) Fieldslib.Field.t_with_perm -> unit) -> bin_prot_len_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> unit) -> bin_prot_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> unit) -> state:(([< ], t, State.t) Fieldslib.Field.t_with_perm -> unit) -> close_finished:(([< ], t, unit Import.Ivar.t) Fieldslib.Field.t_with_perm -> unit) -> last_read_time:(([< ], t, Core.Std.Time.t) Fieldslib.Field.t_with_perm -> unit) -> open_flags:(([< ], t, open_flags Import.Deferred.t) Fieldslib.Field.t_with_perm -> unit) -> unit

val fold : init:'a -> fd:('a -> ([< ], t, Fd.t) Fieldslib.Field.t_with_perm -> 'b) -> id:('b -> ([< ], t, Id.t) Fieldslib.Field.t_with_perm -> 'c) -> buf:('c -> ([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'd) -> close_may_destroy_buf:('d -> ([< ], t, [ ]) Fieldslib.Field.t_with_perm -> 'e) -> pos:('e -> ([< ], t, int) Fieldslib.Field.t_with_perm -> 'f) -> available:('f -> ([< ], t, int) Fieldslib.Field.t_with_perm -> 'g) -> bin_prot_len_buf:('g -> ([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'h) -> bin_prot_buf:('h -> ([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'i) -> state:('i -> ([< ], t, State.t) Fieldslib.Field.t_with_perm -> 'j) -> close_finished:('j -> ([< ], t, unit Import.Ivar.t) Fieldslib.Field.t_with_perm -> 'k) -> last_read_time:('k -> ([< ], t, Core.Std.Time.t) Fieldslib.Field.t_with_perm -> 'l) -> open_flags:('l -> ([< ], t, open_flags Import.Deferred.t) Fieldslib.Field.t_with_perm -> 'm) -> 'm

val map_poly : ([< ], t, 'a) Fieldslib.Field.user -> 'a list

val for_all : fd:(([< ], t, Fd.t) Fieldslib.Field.t_with_perm -> bool) -> id:(([< ], t, Id.t) Fieldslib.Field.t_with_perm -> bool) -> buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> bool) -> close_may_destroy_buf:(([< ], t, [ ]) Fieldslib.Field.t_with_perm -> bool) -> pos:(([< ], t, int) Fieldslib.Field.t_with_perm -> bool) -> available:(([< ], t, int) Fieldslib.Field.t_with_perm -> bool) -> bin_prot_len_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> bool) -> bin_prot_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> bool) -> state:(([< ], t, State.t) Fieldslib.Field.t_with_perm -> bool) -> close_finished:(([< ], t, unit Import.Ivar.t) Fieldslib.Field.t_with_perm -> bool) -> last_read_time:(([< ], t, Core.Std.Time.t) Fieldslib.Field.t_with_perm -> bool) -> open_flags:(([< ], t, open_flags Import.Deferred.t) Fieldslib.Field.t_with_perm -> bool) -> bool

val exists : fd:(([< ], t, Fd.t) Fieldslib.Field.t_with_perm -> bool) -> id:(([< ], t, Id.t) Fieldslib.Field.t_with_perm -> bool) -> buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> bool) -> close_may_destroy_buf:(([< ], t, [ ]) Fieldslib.Field.t_with_perm -> bool) -> pos:(([< ], t, int) Fieldslib.Field.t_with_perm -> bool) -> available:(([< ], t, int) Fieldslib.Field.t_with_perm -> bool) -> bin_prot_len_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> bool) -> bin_prot_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> bool) -> state:(([< ], t, State.t) Fieldslib.Field.t_with_perm -> bool) -> close_finished:(([< ], t, unit Import.Ivar.t) Fieldslib.Field.t_with_perm -> bool) -> last_read_time:(([< ], t, Core.Std.Time.t) Fieldslib.Field.t_with_perm -> bool) -> open_flags:(([< ], t, open_flags Import.Deferred.t) Fieldslib.Field.t_with_perm -> bool) -> bool

val to_list : fd:(([< ], t, Fd.t) Fieldslib.Field.t_with_perm -> 'a) -> id:(([< ], t, Id.t) Fieldslib.Field.t_with_perm -> 'a) -> buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'a) -> close_may_destroy_buf:(([< ], t, [ ]) Fieldslib.Field.t_with_perm -> 'a) -> pos:(([< ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> available:(([< ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> bin_prot_len_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'a) -> bin_prot_buf:(([< ], t, Core.Std.Bigstring.t Core.Std.sexp_opaque) Fieldslib.Field.t_with_perm -> 'a) -> state:(([< ], t, State.t) Fieldslib.Field.t_with_perm -> 'a) -> close_finished:(([< ], t, unit Import.Ivar.t) Fieldslib.Field.t_with_perm -> 'a) -> last_read_time:(([< ], t, Core.Std.Time.t) Fieldslib.Field.t_with_perm -> 'a) -> open_flags:(([< ], t, open_flags Import.Deferred.t) Fieldslib.Field.t_with_perm -> 'a) -> 'a list