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__ -> uid:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> euid:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> suid:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> fsuid:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> gid:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> egid:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> sgid:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> fsgid:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> 'acc__

val make_creator : uid:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> euid:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> suid:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> fsuid:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> gid:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> egid:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> sgid:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> fsgid:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> 'compile_acc__ -> ('input__ -> t) * 'compile_acc__

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