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