To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
type !'a ref = 'a FStar_ST.ref
val alloc : 'a -> 'a ref
val read : unit -> unit -> 'a ref -> 'a
val read_refine : unit -> unit -> 'a ref -> 'a
val write : unit -> 'a ref -> 'a -> unit
val free : unit -> 'a ref -> 'b