Pipe (dolmen_loop.Dolmen_loop.Headers.Pipe)

Parameters

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

val check : State.t -> State.t

Check a state for the required headers (once a whole pipeline has been completed

val inspect : 
  State.t ->
  Dolmen.Std.Statement.t ->
  State.t * Dolmen.Std.Statement.t

Check the headers