j
k
j a
j l
Does type_get_type set the type to $$, or isn't that needed here?
Back to the thread
Back to the list