package touist

You can search for identifiers within the package.

in-package search v0.2.0

package touist

touist
- Touist
  - Cnf
  - Err
  - Eval
  - Latex
  - Lexer
  - Parse
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - ParserMsgs
  - ParserReport
  - Pprint
  - Qbf
  - SatSolve
    
    Model
    
    ModelSet
  - Smt
  - Types
    
    Ast
    
    AstSet
touist.qbf
- Touist_qbf
  - QbfSolve
touist.yices2
- Touist_yices2
  - SmtSolve

Legend:
Library
Module
Module type
Parameter
Class
Class type

Handles errors in Parse.parse produced by the menhir in incremental parser. report is the main function.

module S = MenhirLib.General

val debug : bool Stdlib.ref

type 'a buffer =

| Zero
| One of 'a
| Two of 'a * 'a

val update : 'a buffer -> 'a -> 'a buffer

val show : ('a -> string) -> 'a buffer -> string

val exact_pos : (Stdlib.Lexing.position * 'a) buffer -> Stdlib.Lexing.position

val area_pos : 
  (Stdlib.Lexing.position * Stdlib.Lexing.position) buffer ->
  Stdlib.Lexing.position * Stdlib.Lexing.position

val extract : 
  string ->
  (Stdlib.Lexing.position * Stdlib.Lexing.position) ->
  string

val compress : string -> string

val sanitize : string -> string

val shorten : int -> string -> string

val stack : 
  'a Parser.MenhirInterpreter.checkpoint ->
  Parser.MenhirInterpreter.stack

val state : 'a Parser.MenhirInterpreter.checkpoint -> int

val drop : int -> 'a S.stream -> 'a S.stream

val element : 
  'a Parser.MenhirInterpreter.checkpoint ->
  int ->
  Parser.MenhirInterpreter.element

val width : int

val range : string -> Parser.MenhirInterpreter.element -> string

val fragment : 
  string ->
  'a Parser.MenhirInterpreter.checkpoint ->
  string ->
  string

val fragments : 
  string ->
  'a Parser.MenhirInterpreter.checkpoint ->
  string ->
  string

val report : 
  string ->
  (Stdlib.Lexing.position * Stdlib.Lexing.position) buffer ->
  'a Parser.MenhirInterpreter.checkpoint ->
  bool ->
  string