Frama-C API - Unit_domain
module Make (Value : Abstract_value.S) (Loc : Abstract_location.S) : Abstract.Domain.Internal with type context = unit and type state = unit and type value = Value.t and type location = Loc.location
Frama-C Frama-C Unit_domainmodule Make (Value : Abstract_value.S) (Loc : Abstract_location.S) : Abstract.Domain.Internal with type context = unit and type state = unit and type value = Value.t and type location = Loc.location