package links

  1. Overview
  2. Docs
type flavour = [
  1. | `Rigid
  2. | `Flexible
  3. | `Recursive
]
type scope = [
  1. | `Free
  2. | `Bound
]
type vars_list = (int * (flavour * kind * scope)) list