links

The Links Programming Language
IN THIS PACKAGE
type t =
| Not_subset of {
first : string list;
cols : string list;
}
val pp : Format.formatter -> t -> unit