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