package dolmen_loop

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

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