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