package reason

  1. Overview
  2. Docs
package reason
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Recovery : sig ... end

Signature

type 'a candidate = {
  1. line : int;
  2. min_col : int;
  3. max_col : int;
  4. env : 'a Parser.env;
}
type 'a candidates = {
  1. shifted : Parser.xsymbol option;
  2. final : 'a option;
  3. candidates : 'a candidate list;
}
val attempt : 'a candidates -> (Parser.token * Stdlib.Lexing.position * Stdlib.Lexing.position) -> [> `Accept of 'a | `Fail | `Ok of 'a Parser.checkpoint * 'a Parser.env ]
val generate : 'a Parser.env -> 'a candidates