let
assertion =
function
|
{ status =
Checked
{ valid =
True
} }
->
Aassume
|
_
->
Aassert