module type MONOLITHIC_ENGINE = sig .. end
type state;
type token;
type semantic_value;
exception Error;
let entry: (state, Lexing.lexbuf => token, Lexing.lexbuf) => semantic_value;