links

The Links Programming Language
IN THIS PACKAGE
val equal : t -> t -> Ppx_deriving_runtime.bool
val subkind : ('a * 'b) -> 'c
val restriction : ('a * ('b * 'c)) -> 'd
val as_unl : ('a * ('b * 'c)) -> 'd * (Linearity.t * 'c)
val as_session : ('a * ('b * 'c)) -> 'd * ('b * Restriction.t)
val primary_kind : ('a * 'b) -> 'c