blob: 462bde106c034bd4921f89dfda4d7b2aa90aa699 [file] [log] [blame]
pragma Assertion_Policy (Check);
package Expr_Func6 is
type Monolean is (Nottrue);
function Basic_Function return Monolean;
function Fancy_Function_With_Contract return Boolean
with Pre => Basic_Function = Nottrue;
function Fancy_Function_With_Contract return Boolean is (False);
function Basic_Function return Monolean is (Nottrue);
procedure Dummy;
end Expr_Func6;