links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Types . Abstype
type t
val equal : t -> t -> Ppx_deriving_runtime.bool
val make : string -> CommonTypes.Kind.t list -> t
val arity : t -> CommonTypes.Kind.t list
val name : t -> string
val compare : t -> t -> int