Source file `SpanRule.ml`

1
2
3
4
5
6
7
8
9
10
11
type state = {
  s : string;
  mutable cur : int;
  mutable stack : Typ.stack_elt list;
}

module type S = sig
  val is_safe : bool
  val first_char : FirstChar.t
  val construct : (string -> Typ.span list) -> state -> Typ.span option
end