123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960(** [Core] is an extension of {{!Core_kernel}[Core_kernel]} with Unix APIs. The unmodified
libraries can be found there.
In particular, [Core] has comprehensive implementation of times ([Time] and
[Time_ns]), where some details are platform-specific.
Some modules are mere extensions of those existing in [Core_kernel], like [Bigstring],
[Caml], [Time], and [Md5], where what's added is handlers for reading from or writing
to Unix sockets and file descriptors, or support for floating-point numbers. Other
modules are entirely new, like:
- [Command], a richly featured tool for creating command-line programs.
- [Iobuf], which lets you use contiguous ranges of bytes for I/O purposes.
- [Linux_ext], providing a wrapper around Linux-specific system calls.
- [Signal], for handling Unix signals like SIGHUP and SIGKILL.
A few modules in Core don't have any platform-specific functionality but haven't yet
been ported to Core_kernel for technical reasons (like a dependency on [Time], which
until recently was only in Core):
- [Interval]
*)(**/**)includeCore_kernel.Core_kernel_private.Std_kernel(**/**)moduleBigstring=BigstringmoduleCaml=CamlmoduleCommand=CommandmoduleCondition=Core_conditionmoduleCore_stable=StablemoduleDate=Core_datemoduleFilename=Core_filenamemoduleInterval=IntervalmoduleInterval_intf=Interval_intfmoduleIobuf=IobufmoduleIobuf_debug=Iobuf_debugmoduleIobuf_intf=Iobuf_intfmoduleLinux_ext=Linux_extmoduleDigest=Md5[@@ocaml.deprecated"[since 2017-05] Use Md5 instead."]moduleMutex=Core_mutexmoduleSignal=SignalmoduleSys=Core_sysmoduleThread=Core_threadmoduleTime=Core_time_floatmoduleTime_common=Time_commonmoduleTime_ns=Core_time_nsmoduleTime_stamp_counter=Time_stamp_countermoduleUnix=Core_unixmoduleUser_and_group=User_and_groupmoduleVersion_util=Version_util(* Can't go in Common for circular-reference reasons *)letsec=Time.Span.of_seclet(^/)=Core_filename.concatmoduleCore_private=structmoduleCore_zone=Core_zoneend