Headers (dolmen_loop.Dolmen

module Field : sig ... end

type t

Header set, i.e. a map of fields to values for the header.

val empty : t

The empty header set

val set : t -> Field.t -> string -> t

Add/set a header to the corresponding value.

val get : t -> Field.t -> string option

Get a header value, if present in the set.

val mem : t -> Field.t -> bool

Test the presence of a header field.

val remove : t -> Field.t -> t

Remove a field from a set.

val code : Code.t

Code for header errors.

module type S = Headers_intf.S

module Make
  (S : State.S) : 
  S
    with type state := S.t
     and type 'a key := 'a S.key
     and type header_state := t