links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Unify
type error = [
| `Msg of string
| `PresentAbsentClash of string * Types.row * Types.row
]
exception Failure of error
val datatypes : (Types.datatype * Types.datatype) -> unit
val rows : (Types.row' * Types.row') -> unit