Serapi_protocol.State
type t
val make : ?in_file:string -> ?ldir:Names.DirPath.t -> unit -> t
Create a state and possibly initialize Coq with an input_file