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__ -> cpu_time:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> file_size:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> data_size:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> stack_size:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> core_file_size:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> resident_set:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> processes:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> open_files:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> locked_memory:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> address_space:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> file_locks:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> pending_signals:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> msgqueue_size:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> nice_priority:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> realtime_priority:('acc__ -> (t, Rlimit.t) Fieldslib.Field.t -> 'acc__) -> 'acc__

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

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