links

The Links Programming Language
IN THIS PACKAGE
type t =
| Lin
| Unl
val is_linear : t -> bool
val is_nonlinear : t -> bool