links

The Links Programming Language
IN THIS PACKAGE
type elt = t
type t =
| Reorder_error of {
error : Reorder_error.t;
left : elt;
right : elt;
}
val pp : Format.formatter -> t -> unit