let
star =
variable ~name:(
TName
"@"
) ()