Up – Package index » coq-serapi » Library coq-serapi.serapi_v8_14 » Serapi » Serapi_protocol » State

Module `Serapi_protocol.State`Source

Sourcetype t

Sourceval make : ?in_file:string -> ?ldir:Names.DirPath.t -> unit -> t

Create a state and possibly initialize Coq with an input_file