File.FieldsSourceval 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) * 'fval 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) ->
tval 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) ->
unitval 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) ->
'eval 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) ->
boolval 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) ->
boolval 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