Up
–
Index
»
rocq-runtime
»
Coqdeplib
»
Loadpath
» State
Module
Loadpath.State
type
t
val
make :
worker
:
string option
->
boot
:bool
->
t