:type ++
:core (/) {a=Double}
:doc +
:wc +
:printdef -
:patt /
/
++
:whnf /