Frama-C API - Value_lift
module type Conversion = sig ... endmodule Make (Val : Abstract_value.Leaf) (Convert : Conversion with type internal := Val.context) : Abstract.Value.Internal with type t = Val.t and type context = Convert.extended