Up – goblint » Goblint_lib » CommonPriv » ConfCheck » RequireMutexPathSensOneMainInit

Module `ConfCheck.RequireMutexPathSensOneMainInit`

val init : unit -> unit