Module Fields

val names : string list

val realtime_priority : (t, Rlimit.t) Fieldslib.Field.t

val nice_priority : (t, Rlimit.t) Fieldslib.Field.t

val msgqueue_size : (t, Rlimit.t) Fieldslib.Field.t

val pending_signals : (t, Rlimit.t) Fieldslib.Field.t

val file_locks : (t, Rlimit.t) Fieldslib.Field.t

val address_space : (t, Rlimit.t) Fieldslib.Field.t

val locked_memory : (t, Rlimit.t) Fieldslib.Field.t

val open_files : (t, Rlimit.t) Fieldslib.Field.t

val processes : (t, Rlimit.t) Fieldslib.Field.t

val resident_set : (t, Rlimit.t) Fieldslib.Field.t

val core_file_size : (t, Rlimit.t) Fieldslib.Field.t

val stack_size : (t, Rlimit.t) Fieldslib.Field.t

val data_size : (t, Rlimit.t) Fieldslib.Field.t

val file_size : (t, Rlimit.t) Fieldslib.Field.t

val cpu_time : (t, Rlimit.t) Fieldslib.Field.t

val fold : init:'acc__0 -> cpu_time:('acc__0 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__1) -> file_size:('acc__1 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__2) -> data_size:('acc__2 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__3) -> stack_size:('acc__3 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__4) -> core_file_size:('acc__4 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__5) -> resident_set:('acc__5 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__6) -> processes:('acc__6 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__7) -> open_files:('acc__7 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__8) -> locked_memory:('acc__8 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__9) -> address_space:('acc__9 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__10) -> file_locks:('acc__10 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__11) -> pending_signals:('acc__11 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__12) -> msgqueue_size:('acc__12 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__13) -> nice_priority:('acc__13 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__14) -> realtime_priority:('acc__14 -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__15) -> 'acc__15

val make_creator : cpu_time:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Rlimit.t) * 'acc__1) -> file_size:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> Rlimit.t) * 'acc__2) -> data_size:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> Rlimit.t) * 'acc__3) -> stack_size:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> Rlimit.t) * 'acc__4) -> core_file_size:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> Rlimit.t) * 'acc__5) -> resident_set:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> Rlimit.t) * 'acc__6) -> processes:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> Rlimit.t) * 'acc__7) -> open_files:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> Rlimit.t) * 'acc__8) -> locked_memory:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> Rlimit.t) * 'acc__9) -> address_space:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__9 -> ('input__ -> Rlimit.t) * 'acc__10) -> file_locks:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__10 -> ('input__ -> Rlimit.t) * 'acc__11) -> pending_signals:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__11 -> ('input__ -> Rlimit.t) * 'acc__12) -> msgqueue_size:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__12 -> ('input__ -> Rlimit.t) * 'acc__13) -> nice_priority:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__13 -> ('input__ -> Rlimit.t) * 'acc__14) -> realtime_priority:((t, Rlimit.t) Fieldslib.Field.t -> 'acc__14 -> ('input__ -> Rlimit.t) * 'acc__15) -> 'acc__0 -> ('input__ -> t) * 'acc__15

val create : cpu_time:Rlimit.t -> file_size:Rlimit.t -> data_size:Rlimit.t -> stack_size:Rlimit.t -> core_file_size:Rlimit.t -> resident_set:Rlimit.t -> processes:Rlimit.t -> open_files:Rlimit.t -> locked_memory:Rlimit.t -> address_space:Rlimit.t -> file_locks:Rlimit.t -> pending_signals:Rlimit.t -> msgqueue_size:Rlimit.t -> nice_priority:Rlimit.t -> realtime_priority:Rlimit.t -> t

val map : cpu_time:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> file_size:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> data_size:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> stack_size:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> core_file_size:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> resident_set:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> processes:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> open_files:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> locked_memory:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> address_space:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> file_locks:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> pending_signals:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> msgqueue_size:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> nice_priority:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> realtime_priority:((t, Rlimit.t) Fieldslib.Field.t -> Rlimit.t) -> t

val iter : cpu_time:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> file_size:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> data_size:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> stack_size:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> core_file_size:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> resident_set:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> processes:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> open_files:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> locked_memory:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> address_space:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> file_locks:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> pending_signals:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> msgqueue_size:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> nice_priority:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> realtime_priority:((t, Rlimit.t) Fieldslib.Field.t -> unit) -> unit

val for_all : cpu_time:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> file_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> data_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> stack_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> core_file_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> resident_set:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> processes:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> open_files:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> locked_memory:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> address_space:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> file_locks:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> pending_signals:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> msgqueue_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> nice_priority:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> realtime_priority:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> bool

val exists : cpu_time:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> file_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> data_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> stack_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> core_file_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> resident_set:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> processes:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> open_files:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> locked_memory:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> address_space:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> file_locks:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> pending_signals:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> msgqueue_size:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> nice_priority:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> realtime_priority:((t, Rlimit.t) Fieldslib.Field.t -> bool) -> bool

val to_list : cpu_time:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> file_size:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> data_size:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> stack_size:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> core_file_size:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> resident_set:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> processes:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> open_files:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> locked_memory:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> address_space:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> file_locks:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> pending_signals:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> msgqueue_size:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> nice_priority:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> realtime_priority:((t, Rlimit.t) Fieldslib.Field.t -> 'elem__) -> 'elem__ list

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