links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Alias . Set . List
type elt = t
type t = elt list
val is_disjoint : t -> ( unit, elt ) result