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/No_TCB/index.html

Module No_TCBSource

Sourcemodule UStdlib = Stdlib
Sourcemodule USys = Sys
module UUnix = Unix
Sourcemodule UPrintf = Printf
Sourcemodule UFormat = Format
Sourcemodule UMarshal = Marshal
Sourcemodule UParsing = Parsing
Sourcemodule UFilename = Filename