package alt-ergo-lib

  1. Overview
  2. Docs
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 check : State.t -> State.t
OCaml

Innovation. Community. Security.