chiark / gitweb /
@@@ wip type definitions in manpage synopses