links

The Links Programming Language
IN THIS PACKAGE
type t = int * Kind.t
val to_var : ('a * 'b) -> 'c
val to_kind : t -> Kind.t
val to_primary_kind : t -> PrimaryKind.t
val to_subkind : t -> Subkind.t
val to_string : t -> string
val eq : t -> t -> bool