Re: anyone define port types?

[Ludovic Courtès]

Hello!

Here’s a port type!  :-)

  https://gitlab.com/gnutls/gnutls/blob/master/guile/src/core.c#L785

Ludo’.