package merlin-lib

  1. Overview
  2. Docs
package merlin-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Fresh
    (*

    type t

    *)
  2. | Nth of int
    (*

    The n'th projection of type parameters. E.g. for n < m, type ('x_0,'x_1,...,'x_m-1) t = 'x_n is represented as Nth n.

    *)
  3. | Subst of Path.t * int list
    (*

    An alias to some other type after substitution of type parameters. E.g. type ('x_0, 'x_1', 'x_2, 'x_3) t = ('x_3, 'x_2) p is represented as Subst (p, [3,2]).

    *)
  4. | Alias of Path.t
    (*

    A direct alias to another type, preserving parameters. E.g type t = p, type 'a t = 'a p, ... are represented as Alias p.

    *)