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