module Fields: sig .. end
val names : string list
val f : ([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
Fieldslib.Field.t_with_perm
val group_key : ([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm
val arg : ([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm
val key : ([< `Read | `Set_and_create ], Test.Basic_test.t, int)
Fieldslib.Field.t_with_perm
val name : ([< `Read | `Set_and_create ], Test.Basic_test.t, string)
Fieldslib.Field.t_with_perm
val test_id : ([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
Fieldslib.Field.t_with_perm
val make_creator : test_id:(([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
Fieldslib.Field.t_with_perm -> 'a -> ('b -> Id.t) * 'c) ->
name:(([< `Read | `Set_and_create ], Test.Basic_test.t, string)
Fieldslib.Field.t_with_perm -> 'c -> ('b -> string) * 'd) ->
key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int)
Fieldslib.Field.t_with_perm -> 'd -> ('b -> int) * 'e) ->
arg:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> 'e -> ('b -> int option) * 'f) ->
group_key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> 'f -> ('b -> int option) * 'g) ->
f:(([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
Fieldslib.Field.t_with_perm -> 'g -> ('b -> unit -> unit) * 'h) ->
'a -> ('b -> Test.Basic_test.t) * 'h
val create : test_id:Id.t ->
name:string ->
key:int ->
arg:int option ->
group_key:int option -> f:(unit -> unit) -> Test.Basic_test.t
val map : test_id:(([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
Fieldslib.Field.t_with_perm -> Id.t) ->
name:(([< `Read | `Set_and_create ], Test.Basic_test.t, string)
Fieldslib.Field.t_with_perm -> string) ->
key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int)
Fieldslib.Field.t_with_perm -> int) ->
arg:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> int option) ->
group_key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> int option) ->
f:(([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
Fieldslib.Field.t_with_perm -> unit -> unit) ->
Test.Basic_test.t
val iter : test_id:(([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
Fieldslib.Field.t_with_perm -> 'a) ->
name:(([< `Read | `Set_and_create ], Test.Basic_test.t, string)
Fieldslib.Field.t_with_perm -> 'b) ->
key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int)
Fieldslib.Field.t_with_perm -> 'c) ->
arg:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> 'd) ->
group_key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> 'e) ->
f:(([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
Fieldslib.Field.t_with_perm -> 'f) ->
'f
val fold : init:'a ->
test_id:('a ->
([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
Fieldslib.Field.t_with_perm -> 'b) ->
name:('b ->
([< `Read | `Set_and_create ], Test.Basic_test.t, string)
Fieldslib.Field.t_with_perm -> 'c) ->
key:('c ->
([< `Read | `Set_and_create ], Test.Basic_test.t, int)
Fieldslib.Field.t_with_perm -> 'd) ->
arg:('d ->
([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> 'e) ->
group_key:('e ->
([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> 'f) ->
f:('f ->
([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
Fieldslib.Field.t_with_perm -> 'g) ->
'g
val map_poly : ([< `Read | `Set_and_create ], Test.Basic_test.t, 'a) Fieldslib.Field.user ->
'a list
val for_all : test_id:(([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
Fieldslib.Field.t_with_perm -> bool) ->
name:(([< `Read | `Set_and_create ], Test.Basic_test.t, string)
Fieldslib.Field.t_with_perm -> bool) ->
key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int)
Fieldslib.Field.t_with_perm -> bool) ->
arg:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> bool) ->
group_key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> bool) ->
f:(([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
Fieldslib.Field.t_with_perm -> bool) ->
bool
val exists : test_id:(([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
Fieldslib.Field.t_with_perm -> bool) ->
name:(([< `Read | `Set_and_create ], Test.Basic_test.t, string)
Fieldslib.Field.t_with_perm -> bool) ->
key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int)
Fieldslib.Field.t_with_perm -> bool) ->
arg:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> bool) ->
group_key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> bool) ->
f:(([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
Fieldslib.Field.t_with_perm -> bool) ->
bool
val to_list : test_id:(([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
Fieldslib.Field.t_with_perm -> 'a) ->
name:(([< `Read | `Set_and_create ], Test.Basic_test.t, string)
Fieldslib.Field.t_with_perm -> 'a) ->
key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int)
Fieldslib.Field.t_with_perm -> 'a) ->
arg:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> 'a) ->
group_key:(([< `Read | `Set_and_create ], Test.Basic_test.t, int option)
Fieldslib.Field.t_with_perm -> 'a) ->
f:(([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
Fieldslib.Field.t_with_perm -> 'a) ->
'a list
module Direct: sig .. end