module Gauges_domain:sig
..end
type
function_calls =
| |
FullInterprocedural |
| |
IntraproceduralAll |
| |
IntraproceduralNonReferenced |
val function_calls_handling : function_calls Pervasives.ref
module G:sig
..end
val dkey : Log.category
module D_Impl:sig
..end
module D:sig
..end