Module Tally_mkernelSource

Sourceval init : unit -> unit

init () initializes the mkernel tallies (malloc, device).