2 type Value_Type
is private;
4 type MT
(Has
: Boolean := False) is record
12 function Foo
(M
: MT
) return Boolean is (not M
.Has
);
13 subtype LT
is MT
with Dynamic_Predicate
=> not LT
.Has
;
14 function Bar
(M
: MT
) return Boolean is (Foo
(M
));