let
stars_lv_typ =
function
|
Ctype
t
->
stars_typ t
|
_
->
0