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

Module TCB.PrintexcSource

Sourcetype raw_backtrace = Printexc.raw_backtrace
Sourceval record_backtrace : bool -> unit
Sourceval register_printer : (exn -> string option) -> unit
Sourceval get_backtrace : unit -> string
Sourceval get_raw_backtrace : unit -> Printexc.raw_backtrace
Sourceval get_callstack : int -> Printexc.raw_backtrace
Sourceval raise_with_backtrace : exn -> Printexc.raw_backtrace -> 'a
Sourceval to_string : exn -> string
Sourceval raw_backtrace_to_string : Printexc.raw_backtrace -> string