module Make: functor (W : Mcfg.S) -> sig .. end
functor (
W
:
Mcfg.S
) ->
sig
end
exception NonNaturalLoop of Cil_types.location
Cil_types.location
val compute : mode:CfgCalculus.mode -> props:CfgCalculus.props -> W.t_prop
mode:CfgCalculus.mode -> props:CfgCalculus.props -> W.t_prop