Up – Package index » goblint » Library goblint.lib » Octagon

Module `Octagon`

module BV = Basetype.Variables

val stripCastsDeep : Prelude.Ana.exp -> Prelude.Ana.exp

module Spec : Analyses.MCPSpec