Module Test.Basic_test.Fields.Direct

module Direct: sig .. end

val iter : Test.Basic_test.t ->
       test_id:(([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
                Fieldslib.Field.t_with_perm -> Test.Basic_test.t -> Id.t -> 'a) ->
       name:(([< `Read | `Set_and_create ], Test.Basic_test.t, string)
             Fieldslib.Field.t_with_perm -> Test.Basic_test.t -> string -> 'b) ->
       f:(([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
          Fieldslib.Field.t_with_perm -> Test.Basic_test.t -> (unit -> unit) -> 'c) ->
       'c

val fold : Test.Basic_test.t ->
       init:'a ->
       test_id:('a ->
                ([< `Read | `Set_and_create ], Test.Basic_test.t, Id.t)
                Fieldslib.Field.t_with_perm -> Test.Basic_test.t -> Id.t -> 'b) ->
       name:('b ->
             ([< `Read | `Set_and_create ], Test.Basic_test.t, string)
             Fieldslib.Field.t_with_perm -> Test.Basic_test.t -> string -> 'c) ->
       f:('c ->
          ([< `Read | `Set_and_create ], Test.Basic_test.t, unit -> unit)
          Fieldslib.Field.t_with_perm -> Test.Basic_test.t -> (unit -> unit) -> 'd) ->
       'd