sig   module Make :     functor       (Left : Abstract_value.Internal) (Right : Abstract_value.Internal->       sig         type t = Left.t * Right.t         val ty : t Type.t         val name : string         val descr : t Descr.t         val packed_descr : Structural_descr.pack         val reprs : t list         val equal : t -> t -> bool         val compare : t -> t -> int         val hash : t -> int         val pretty_code : Format.formatter -> t -> unit         val internal_pretty_code :           Type.precedence -> Format.formatter -> t -> unit         val pretty : Format.formatter -> t -> unit         val varname : t -> string         val mem_project : (Project_skeleton.t -> bool) -> t -> bool         val copy : t -> t         val top : t         val is_included : t -> t -> bool         val join : t -> t -> t         val narrow : t -> t -> t Eval.or_bottom         val zero : t         val float_zeros : t         val top_int : t         val inject_int : Cil_types.typ -> Integer.t -> t         val inject_address : Cil_types.varinfo -> t         val constant :           Cil_types.exp -> Cil_types.constant -> t Eval.evaluated         val forward_unop :           context:Eval.unop_context ->           Cil_types.typ -> Cil_types.unop -> t -> t Eval.evaluated         val forward_binop :           context:Eval.binop_context ->           Cil_types.typ -> Cil_types.binop -> t -> t -> t Eval.evaluated         val backward_binop :           input_type:Cil_types.typ ->           resulting_type:Cil_types.typ ->           Cil_types.binop ->           left:t ->           right:t -> result:t -> (t option * t option) Eval.or_bottom         val backward_unop :           typ_arg:Cil_types.typ ->           Cil_types.unop -> arg:t -> res:t -> t option Eval.or_bottom         val backward_cast :           src_typ:Cil_types.typ ->           dst_typ:Cil_types.typ ->           src_val:t -> dst_val:t -> t option Eval.or_bottom         val reinterpret :           Cil_types.exp -> Cil_types.typ -> t -> t Eval.evaluated         val do_promotion :           src_typ:Cil_types.typ ->           dst_typ:Cil_types.typ -> Cil_types.exp -> t -> t Eval.evaluated         val resolve_functions :           typ_pointer:Cil_types.typ ->           t -> Kernel_function.Hptset.t Eval.or_top * bool         val structure : t Abstract_value.structure       end end