Module Gauges_domain

module Gauges_domain: sig .. end
out of any loop

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