Searched refs:Add_With_Ovflo_Check64 (Results 1 – 8 of 8) sorted by relevance
78 function Add_With_Ovflo_Check64 (X, Y : Int64) return Int64 subprogspec81 Post => Add_With_Ovflo_Check64'Result = X + Y;
45 function Add_With_Ovflo_Check64 (X, Y : Int64) return Int64 subprogram
43 function Add_With_Ovflo_Check64 (X, Y : Int64) return Int64 subprogram
46 function Add_With_Ovflo_Check64 (X, Y : Int64) return Int64; subprogspec