Frama-C API - Domain_lift
module type Input_Domain = sig ... endmodule type Conversion = sig ... endmodule Make (Domain : Input_Domain) (Ctx : Conversion with type internal := Domain.context) (Val : Conversion with type internal := Domain.value) (Loc : Conversion with type internal := Domain.location) : Abstract.Domain.Internal with type state = Domain.state and type context = Ctx.extended and type value = Val.extended and type location = Loc.extended and type origin = Domain.origin