links

The Links Programming Language
IN THIS PACKAGE
type t = {
name : string;
keys : string list list;
}
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val name : t -> string