Module Lib.SpanRuleSource

Span-level rule

Sourcetype state = {
  1. s : string;
    (*

    string to be parsed

    *)
  2. mutable cur : int;
    (*

    current cursor being parsed

    *)
  3. mutable stack : Typ.stack_elt list;
    (*

    current stack for SpanRuleStack

    *)
}
Sourcemodule type S = sig ... end

Signature for a span-level rule