jon.recoil.org

Module Merlin_sherlodoc.Type_parsed

A parsed type expression representation, where type variables are expressed as strings and must be normalized in a Type_expr.t.

type t =
  1. | Arrow of Merlin_sherlodoc.Type_parsed.t * Merlin_sherlodoc.Type_parsed.t
  2. | Tycon of string * Merlin_sherlodoc.Type_parsed.t list
  3. | Tuple of Merlin_sherlodoc.Type_parsed.t list
  4. | Tyvar of string
  5. | Wildcard
  6. | Unhandled

Create a tuple using a rather naive heuristic:

  • If the list is empty, it produces a type unit
  • If the list contains only one element, that element is returned
  • Otherwise, a tuple is constructed.