package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
module State : sig ... end
val process_expr : state:State.t -> Vernacexpr.vernac_control CAst.t -> State.t
val load_vernac : echo:bool -> check:bool -> interactive:bool -> state:State.t -> string -> State.t