Up – Package index » goblint » Library goblint.lib » IntDomainProperties » AF

Module `IntDomainProperties.AF`

Parameters

module AD : OldS

Signature

val abstract : CD.t -> AD.t

val check_leq : CD.t -> AD.t -> bool