sig type tag = [ `SOCK_DGRAM ] val socktype : tag socktype end