Up
–
coq-core
» Memtrace_init
Module
Memtrace_init
val
init :
unit
->
unit