package coq-core

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Memprof_coq.MaskingSource

Sourceval with_resource : acquire:('a -> 'b) -> 'a -> scope:('b -> 'c) -> release:('b -> unit) -> 'c
Sourceval is_blocked : unit -> bool
Sourceval assert_blocked : unit -> unit
OCaml

Innovation. Community. Security.