Frama-C API - Abstract
module Ctx : Abstract.Context.Externalmodule Val : Abstractions.Value_with_reduction with type context = Ctx.tmodule Loc : Abstract.Location.External with type value = Val.tmodule Dom : Abstract.Domain.External with type value = Val.t and type location = Loc.location and type context = Ctx.t