let
ident_named_var name k t =
check_cpt k; (name,
Some
k,t,
None
)