links

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