Module `Cap`Source

Sourcemodule Console_ : sig ... end

Sourcemodule Process : sig ... end

Sourcemodule FS_ : sig ... end

Sourcemodule Exec : sig ... end

Sourcemodule Network : sig ... end

Sourcemodule Misc : sig ... end

Sourcetype stdin = < stdin : Console_.stdin >

Sourcetype stdout = < stdout : Console_.stdout >

Sourcetype stderr = < stderr : Console_.stderr >

Sourcetype draw = < draw : Console_.draw >

Sourcetype keyboard = < keyboard : Console_.keyboard >

Sourcetype mouse = < mouse : Console_.mouse >

Sourcetype console = < stdin ; stdout ; stderr ; draw ; keyboard ; mouse >

Sourcetype argv = < argv : Process.argv >

Sourcetype env = < env : Process.env >

Sourcetype signal = < signal : Process.signal >

Sourcetype time_limit = < time_limit : Process.time_limit >

Sourcetype memory_limit = < memory_limit : Process.memory_limit >

Sourcetype exit = < exit : Process.exit >

Sourcetype chdir = < chdir : Process.chdir >

Sourcetype fork = < fork : Process.fork >

Sourcetype wait = < wait : Process.wait >

Sourcetype kill = < kill : Process.kill >

Sourcetype mount = < mount : Process.mount >

Sourcetype bind = < bind : Process.bind >

Sourcetype process_multi = < fork ; wait ; kill >

type process_single =
  < signal
  ; time_limit
  ; memory_limit
  ; exit
  ; chdir
  ; mount
  ; bind >

Sourcetype process = < argv ; env ; process_single ; process_multi >

Sourcetype open_in = < open_in : string -> FS_.open_in >

Sourcetype open_out = < open_out : string -> FS_.open_out >

Sourcetype readdir = < readdir : string -> FS_.readdir >

Sourcetype tmp = < tmp : FS_.tmp >

Sourcetype fs = < readdir ; tmp ; open_in ; open_out >

Sourcetype exec = < exec : string -> Exec.t >

Sourcetype forkew = < fork ; exec ; wait >

Sourcetype network = < network : string -> Network.t >

Sourcetype random = < random : Misc.random >

Sourcetype misc = < random >

Sourcetype all_caps = < console ; process ; fs ; exec ; network ; misc >

Sourcetype no_caps = < >

Sourceval no_caps : no_caps

Sourceval tmp_caps_UNSAFE : unit -> < tmp >

Sourceval main : (all_caps -> 'a) -> 'a

package caps