links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Lens . Eval . Error
type t =
| InvalidDataType
| InvalidData
| ViolatesFunDepConstraint of Links_lens.Fun_dep.t