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