:type ++
:core /
:doc +
:wc +
:printdef -
:spec /
:patt /
/
++
:whnf /