let
is_s =
function
Cl
(
S
), _
->
true
|
_
->
false