let from_ival_size ival size = match size with | Int_Base.Top -> top | Int_Base.Bottom -> assert false | Int_Base.Value int -> from_ival_int ival int