package MlFront_Thunk

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

Module type Results.LOCATED_STRING_SEMANTIC_PARSERSource

A type of parser that has locations and error text for semantic errors.

type t
type final
type semantic = Semantic.t
type expect = string * Fmlib_parse.Indent.expectation option
val position : t -> Fmlib_parse.Position.t
val has_succeeded : t -> bool
val has_failed_semantic : t -> bool
val has_failed_syntax : t -> bool
val failed_semantic : t -> semantic
val failed_expectations : t -> expect list
val final : t -> final