package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Interp_al.BacktrackSource

Sourcetype 'a backtrack =
  1. | Ok of 'a
  2. | Err of Util.Attempt.failtrace list
  3. | Unmatch of Util.Attempt.failtrace list
Sourceval back_err : Util.Source.region -> string -> 'a backtrack
Sourceval back_unmatch_silent : 'a backtrack
Sourceval back_unmatch : Util.Source.region -> string -> 'a backtrack
Sourceval back_nest : Util.Source.region -> (unit -> string) -> 'a backtrack -> 'a backtrack
Sourceval check_back_err : bool -> Util.Source.region -> string -> unit backtrack
Sourceval choose_sequential : (unit -> 'a backtrack) list -> 'a backtrack
Sourceval (let*) : 'a backtrack -> ('a -> 'b backtrack) -> 'b backtrack
Sourceval (let+) : 'a backtrack -> ('a -> 'b) -> 'b