package menhirSdk

  1. Overview
  2. Docs

Module Surface.ParameterSource

Sourcetype t
Sourcetype desc =
  1. | Var of name
  2. | App of name * t list
  3. | Anonymous of t Branch.t list
Sourceval desc : t -> desc
Sourceval located : t -> Range.t