Builtins.System
Builtins relating to particular operating systems. There is no central documentation for these; we must instead implement them as needed.
module M (StateM : State.StateM.S) : sig ... end