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

Module `Serapi.Serapi_doc`Source

val save_vo : 
  doc:Stm.doc ->
  ?ldir:Names.DirPath.t ->
  pstate:Declare.Proof.t option ->
  in_file:string ->
  unit ->
  unit