package grenier

  1. Overview
  2. Docs

Parameters

Signature

type n
val freeze : unit -> n set
val fresh : unit -> n elt