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

Module TCBSource

Sourcemodule UStdlib = Stdlib
Sourcemodule Stdlib : sig ... end
Sourceval (&) : unit
Sourceval (or) : unit
Sourceval stdin : unit
Sourceval stdout : unit
Sourceval stderr : unit
Sourceval print_char : unit
Sourceval print_string : unit
Sourceval print_bytes : unit
Sourceval print_int : unit
Sourceval print_float : unit
Sourceval print_endline : unit
Sourceval print_newline : unit
Sourceval prerr_char : unit
Sourceval prerr_string : unit
Sourceval prerr_bytes : unit
Sourceval prerr_int : unit
Sourceval prerr_float : unit
Sourceval prerr_endline : unit
Sourceval prerr_newline : unit
Sourceval read_line : unit
Sourceval read_int : unit
Sourceval read_int_opt : unit
Sourceval read_float : unit
Sourceval read_float_opt : unit
Sourceval open_out : unit
Sourceval open_out_bin : unit
Sourceval open_out_gen : unit
Sourceval open_in : unit
Sourceval open_in_bin : unit
Sourceval open_in_gen : unit
Sourceval unsafe_really_input : unit
Sourcemodule LargeFile : sig ... end
Sourceval input_value : unit
Sourceval output_value : unit
Sourcetype ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6
Sourcetype ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6
Sourcetype ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4
Sourceval exit : unit
Sourceval at_exit : unit
Sourceval do_at_exit : unit
Sourceval valid_float_lexem : unit
Sourcemodule ArrayLabels : sig ... end
Sourcemodule BytesLabels : sig ... end
Sourcemodule ListLabels : sig ... end
Sourcemodule MoreLabels : sig ... end
Sourcemodule StringLabels : sig ... end
Sourcemodule StdLabels : sig ... end
Sourcemodule Genlex : sig ... end
Sourcemodule Stream : sig ... end
Sourcemodule Pervasives : sig ... end
Sourcemodule Oo : sig ... end
Sourcemodule URandom = Random
Sourcemodule Random : sig ... end
Sourcemodule USys = Sys
Sourcemodule Sys : sig ... end
module UUnix = Unix
Sourcemodule Unix : sig ... end
Sourcemodule Obj : sig ... end
Sourcemodule UMarshal = Marshal
Sourcemodule Marshal : sig ... end
Sourcemodule UFilename = Filename
Sourcemodule Filename : sig ... end
Sourcemodule In_channel : sig ... end
Sourcemodule Lexing : sig ... end
Sourcemodule UParsing = Parsing
Sourcemodule Parsing : sig ... end
Sourcemodule Scanf : sig ... end
Sourcemodule Out_channel : sig ... end
Sourcemodule UPrintf = Printf
Sourcemodule Printf : sig ... end
Sourcemodule UFormat = Format
Sourcemodule Format : sig ... end
Sourcemodule Printexc : sig ... end