Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/discr15_pkg.ads @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
package Discr15_Pkg is type Moment is new Positive; type Multi_Moment_History is array (Natural range <>, Moment range <>) of Float; type Rec_Multi_Moment_History (Len : Natural; Size : Moment) is record Moments : Multi_Moment_History(0..Len, 1..Size); Last : Natural; end record; function Sub_History_Of (History : Rec_Multi_Moment_History) return Rec_Multi_Moment_History; end Discr15_Pkg;