package p4spectec

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

Module Interp_al.NondetSource

Sourcetype ('a, 'b) backtrack_det =
  1. | Ok_det of 'a
  2. | Err_det of failtrace list
  3. | Unmatch_det of failtrace list
  4. | Nondet_det of 'b * 'b
Sourceval as_det : 'a Backtrack.backtrack -> ('a, 'b) backtrack_det
Sourceval back_unmatch_silent : ('a, 'b) backtrack_det
Sourceval choose_deterministic : 'b list -> (unit -> 'a Backtrack.backtrack) list -> ('a, 'b) backtrack_det