package caps

  1. Overview
  2. Docs
Capability types and rules for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

  1. Y
    Yoann Padioleau <yoann.padioleau@gmail.com>

Maintainers

  1. Y
    Yoann Padioleau <yoann.padioleau@gmail.com>

Sources

0.1.0.tar.gz
md5=84dac271a62bd7f13776958561fa9056
sha512=85701a1dd5a584ea795e6b2101aa8a07b3d1ab616a302b013b1d18bf2d69e287e3392a6d30d06e228c8fbd30f41a137b6bbced02e75d9c72c99293b40e27dc9b

doc/caps.tcb/TCB/Sys/index.html

Module TCB.SysSource

Sourceval interactive : bool ref
Sourcetype signal_behavior = Sys.signal_behavior =
  1. | Signal_default
  2. | Signal_ignore
  3. | Signal_handle of int -> unit
Sourceval sighup : Sys.signal
Sourceval sigquit : Sys.signal
Sourceval sigbus : Sys.signal
Sourceval sigpipe : Sys.signal
Sourceval sigterm : Sys.signal
Sourceval sigsys : Sys.signal
Sourceval sigalrm : Sys.signal
Sourceval sigxfsz : Sys.signal
Sourceval sigint : Sys.signal
Sourceval sigkill : Sys.signal
Sourcetype backend_type = Sys.backend_type
Sourcetype extra_prefix = Sys.extra_prefix
Sourcetype extra_info = Sys.extra_info
Sourcetype ocaml_release_info = Sys.ocaml_release_info
Sourceval unix : bool
Sourceval win32 : bool
Sourceval cygwin : bool
Sourceval int_size : int