Source file `headers_intf.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

module type S = sig

  type state
  (** global state threaded through all the pipeline *)

  val check : state -> state
  (** Check a state for the required headers (once a whole pipeline
      has been completed *)

  val inspect :
    state -> Dolmen.Std.Statement.t -> state * Dolmen.Std.Statement.t
  (** Check the headers *)

end