Sourceval mime :
([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm Sourceval filesize :
([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm Sourceval filename :
([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm Sourceval id : ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm Sourceval make_creator :
id:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'a ->
('b -> string) * 'c) ->
filename:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'c ->
('b -> string) * 'd) ->
filesize:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
'd ->
('b -> int) * 'e) ->
mime:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'e ->
('b -> string) * 'f) ->
'a ->
('b -> t) * 'f Sourceval create : id:string -> filename:string -> filesize:int -> mime:string -> t Sourceval map :
id:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
string) ->
filename:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
string) ->
filesize:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) ->
mime:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
string) ->
t Sourceval iter :
id:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
unit) ->
filename:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
unit) ->
filesize:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
unit) ->
mime:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
unit) ->
unit Sourceval fold :
init:'a ->
id:
('a ->
([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'b) ->
filename:
('b ->
([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'c) ->
filesize:
('c ->
([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
'd) ->
mime:
('d ->
([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'e) ->
'e Sourceval map_poly :
([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user ->
'a list Sourceval for_all :
id:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
bool) ->
filename:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
bool) ->
filesize:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
bool) ->
mime:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
bool) ->
bool Sourceval exists :
id:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
bool) ->
filename:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
bool) ->
filesize:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
bool) ->
mime:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
bool) ->
bool Sourceval to_list :
id:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'a) ->
filename:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'a) ->
filesize:
(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) ->
mime:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'a) ->
'a list