D_loop.Header
val header_check : bool State.key
val header_state : Dolmen_loop__Headers.t State.key
val header_licenses : string list State.key
val header_lang_version : string option State.key
val init : header_check:bool -> ?header_state:Dolmen_loop__Headers.t -> header_licenses:string list -> header_lang_version:string option -> State.t -> State.t
val inspect : State.t -> Dolmen.Std.Statement.t -> State.t * Dolmen.Std.Statement.t
val check : State.t -> State.t