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