package menhirSdk

  1. Overview
  2. Docs

Module Lift.SurfaceSource

Sourcetype filename = string
Sourcetype name = string
Sourcemodule Priority_level : sig ... end
Sourcemodule Producer : sig ... end
Sourcemodule Branch : sig ... end
Sourcemodule Parameter : sig ... end
Sourcemodule Rule : sig ... end
Sourcemodule Token : sig ... end
Sourcemodule Syntax : sig ... end
Sourceval start_symbols : name list
Sourceval on_error_reduce : (name * Priority_level.t) list
Sourceval before_expansion : Syntax.higher
Sourceval before_inlining : Syntax.ground