Module Headers.Pipe

Parameters

• State : State_intf.Header_pipe with type header_state := t

Signature

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