package reason

On This Page

Parameters
Signature

package reason

reason
reason.cmdliner
- Vendored_cmdliner
  - Arg
  - Manpage
  - Term
reason.easy_format
- Vendored_easy_format
  - Compact
  - Pretty

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Parser : MenhirLib.IncrementalEngine.EVERYTHING

module Recovery : sig ... end

Signature

type 'a candidate = {

line : int;
min_col : int;
max_col : int;
env : 'a Parser.env;

}

type 'a candidates = {

shifted : Parser.xsymbol option;
final : 'a option;
candidates : 'a candidate list;

}

val attempt : 
  'a candidates ->
  (Parser.token * Lexing.position * Lexing.position) ->
  [> `Accept of 'a | `Fail | `Ok of 'a Parser.checkpoint * 'a Parser.env ]

val generate : 'a Parser.env -> 'a candidates