Module Migration.Fields

val names : string list
val dirty : ([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm
val version : ([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm
val namespace : ([< `Read | `Set_and_create ]t, string) Fieldslib.Field.t_with_perm
val make_creator : namespace:(([< `Read | `Set_and_create ]t, string) Fieldslib.Field.t_with_perm -> 'a -> ('b -> string) * 'c) -> version:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> 'c -> ('b -> int) * 'd) -> dirty:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> 'd -> ('b -> bool) * 'e) -> 'a -> ('b -> t) * 'e
val create : namespace:string -> version:int -> dirty:bool -> t
val map : namespace:(([< `Read | `Set_and_create ]t, string) Fieldslib.Field.t_with_perm -> string) -> version:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> int) -> dirty:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> bool) -> t
val iter : namespace:(([< `Read | `Set_and_create ]t, string) Fieldslib.Field.t_with_perm -> unit) -> version:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> unit) -> dirty:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> unit) -> unit
val fold : init:'a -> namespace:('a -> ([< `Read | `Set_and_create ]t, string) Fieldslib.Field.t_with_perm -> 'b) -> version:('b -> ([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> 'c) -> dirty:('c -> ([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> 'd) -> 'd
val map_poly : ([< `Read | `Set_and_create ]t'a) Fieldslib.Field.user -> 'a list
val for_all : namespace:(([< `Read | `Set_and_create ]t, string) Fieldslib.Field.t_with_perm -> bool) -> version:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> bool) -> dirty:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> bool) -> bool
val exists : namespace:(([< `Read | `Set_and_create ]t, string) Fieldslib.Field.t_with_perm -> bool) -> version:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> bool) -> dirty:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> bool) -> bool
val to_list : namespace:(([< `Read | `Set_and_create ]t, string) Fieldslib.Field.t_with_perm -> 'a) -> version:(([< `Read | `Set_and_create ]t, int) Fieldslib.Field.t_with_perm -> 'a) -> dirty:(([< `Read | `Set_and_create ]t, bool) Fieldslib.Field.t_with_perm -> 'a) -> 'a list
module Direct : sig ... end