Up
–
rocq-runtime
» Memtrace_init
Module
Memtrace_init
val
init :
unit
->
unit