Up
–
Index
»
rocq-runtime
»
Coqdeplib
» Rocqdep_main
Module
Coqdeplib.Rocqdep_main
val
main :
string list
->
unit