fstar
  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type lock_t = Mutex.t
type 'a lock = lock_t
val new_lock : unit -> 'unit lock
val acquire : unit -> lock_t -> unit
val release : unit -> lock_t -> unit