package links
exception Failure of errorval datatypes : (Types.datatype * Types.datatype) -> unitval rows : (Types.row' * Types.row') -> unitexception Failure of errorval datatypes : (Types.datatype * Types.datatype) -> unitval rows : (Types.row' * Types.row') -> unit