Module Fields

val names : string list

val fsgid : (t, int) Fieldslib.Field.t

val sgid : (t, int) Fieldslib.Field.t

val egid : (t, int) Fieldslib.Field.t

val gid : (t, int) Fieldslib.Field.t

val fsuid : (t, int) Fieldslib.Field.t

val suid : (t, int) Fieldslib.Field.t

val euid : (t, int) Fieldslib.Field.t

val uid : (t, int) Fieldslib.Field.t

val fold : init:'acc__0 -> uid:('acc__0 -> (t, int) Fieldslib.Field.t -> 'acc__1) -> euid:('acc__1 -> (t, int) Fieldslib.Field.t -> 'acc__2) -> suid:('acc__2 -> (t, int) Fieldslib.Field.t -> 'acc__3) -> fsuid:('acc__3 -> (t, int) Fieldslib.Field.t -> 'acc__4) -> gid:('acc__4 -> (t, int) Fieldslib.Field.t -> 'acc__5) -> egid:('acc__5 -> (t, int) Fieldslib.Field.t -> 'acc__6) -> sgid:('acc__6 -> (t, int) Fieldslib.Field.t -> 'acc__7) -> fsgid:('acc__7 -> (t, int) Fieldslib.Field.t -> 'acc__8) -> 'acc__8

val make_creator : uid:((t, int) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> int) * 'acc__1) -> euid:((t, int) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> int) * 'acc__2) -> suid:((t, int) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> int) * 'acc__3) -> fsuid:((t, int) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> int) * 'acc__4) -> gid:((t, int) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> int) * 'acc__5) -> egid:((t, int) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> int) * 'acc__6) -> sgid:((t, int) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> int) * 'acc__7) -> fsgid:((t, int) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> int) * 'acc__8) -> 'acc__0 -> ('input__ -> t) * 'acc__8

val create : uid:int -> euid:int -> suid:int -> fsuid:int -> gid:int -> egid:int -> sgid:int -> fsgid:int -> t

val map : uid:((t, int) Fieldslib.Field.t -> int) -> euid:((t, int) Fieldslib.Field.t -> int) -> suid:((t, int) Fieldslib.Field.t -> int) -> fsuid:((t, int) Fieldslib.Field.t -> int) -> gid:((t, int) Fieldslib.Field.t -> int) -> egid:((t, int) Fieldslib.Field.t -> int) -> sgid:((t, int) Fieldslib.Field.t -> int) -> fsgid:((t, int) Fieldslib.Field.t -> int) -> t

val iter : uid:((t, int) Fieldslib.Field.t -> unit) -> euid:((t, int) Fieldslib.Field.t -> unit) -> suid:((t, int) Fieldslib.Field.t -> unit) -> fsuid:((t, int) Fieldslib.Field.t -> unit) -> gid:((t, int) Fieldslib.Field.t -> unit) -> egid:((t, int) Fieldslib.Field.t -> unit) -> sgid:((t, int) Fieldslib.Field.t -> unit) -> fsgid:((t, int) Fieldslib.Field.t -> unit) -> unit

val for_all : uid:((t, int) Fieldslib.Field.t -> bool) -> euid:((t, int) Fieldslib.Field.t -> bool) -> suid:((t, int) Fieldslib.Field.t -> bool) -> fsuid:((t, int) Fieldslib.Field.t -> bool) -> gid:((t, int) Fieldslib.Field.t -> bool) -> egid:((t, int) Fieldslib.Field.t -> bool) -> sgid:((t, int) Fieldslib.Field.t -> bool) -> fsgid:((t, int) Fieldslib.Field.t -> bool) -> bool

val exists : uid:((t, int) Fieldslib.Field.t -> bool) -> euid:((t, int) Fieldslib.Field.t -> bool) -> suid:((t, int) Fieldslib.Field.t -> bool) -> fsuid:((t, int) Fieldslib.Field.t -> bool) -> gid:((t, int) Fieldslib.Field.t -> bool) -> egid:((t, int) Fieldslib.Field.t -> bool) -> sgid:((t, int) Fieldslib.Field.t -> bool) -> fsgid:((t, int) Fieldslib.Field.t -> bool) -> bool

val to_list : uid:((t, int) Fieldslib.Field.t -> 'elem__) -> euid:((t, int) Fieldslib.Field.t -> 'elem__) -> suid:((t, int) Fieldslib.Field.t -> 'elem__) -> fsuid:((t, int) Fieldslib.Field.t -> 'elem__) -> gid:((t, int) Fieldslib.Field.t -> 'elem__) -> egid:((t, int) Fieldslib.Field.t -> 'elem__) -> sgid:((t, int) Fieldslib.Field.t -> 'elem__) -> fsgid:((t, int) Fieldslib.Field.t -> 'elem__) -> 'elem__ list

val map_poly : ([< ], t, 'x0) Fieldslib.Field.user -> 'x0 list