let
is_true =
function
TT
, _
->
true
|
_
->
false