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