package TCSLib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a compref
val newref : 'a -> 'a compref
val freeref : 'a compref -> unit
val getref : 'a compref -> 'a
val setref : 'a compref -> 'a -> unit
val compare : 'a compref -> 'a compref -> int
val equal : 'a compref -> 'a compref -> bool