links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Types . Vars
type flavour = [
| `Rigid
| `Flexible
| `Recursive
]
type scope = [
| `Free
| `Bound
]
type vars_list = (int * (flavour * kind * scope)) list