# Module CamlinternalMenhirLib.EngineTypes

    module EngineTypes: sig .. end

    type ('state, 'semantic_value) stack = {

`` | `state : `'state`;`
`` | `semv : `'semantic_value`;`
`` | `startp : `Lexing.position`;`
`` | `endp : `Lexing.position`;`
`` | `next : `('state, 'semantic_value) stack`;`

}

    type ('state, 'semantic_value, 'token) env = {

`` | `error : `bool`;`
`` | `triple : `'token * Lexing.position * Lexing.position`;`
`` | `stack : `('state, 'semantic_value) stack`;`
`` | `current : `'state`;`

}

    module type TABLE = sig .. end

    module type MONOLITHIC_ENGINE = sig .. end

    module type INCREMENTAL_ENGINE_START = sig .. end

    module type ENGINE = sig .. end