package links

  1. Overview
  2. Docs
type error = [
  1. | `Msg of string
  2. | `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