package inferno

  1. Overview
  2. Docs
type 'a point
val fresh : 'a -> 'a point
val find : 'a point -> 'a
val union : 'a link TRef.transaction -> ('a -> 'a -> 'a) -> 'a point -> 'a point -> unit
val equivalent : 'a point -> 'a point -> bool
val is_representative : 'a point -> bool
OCaml

Innovation. Community. Security.