[hcoop/debian/mlton.git] / runtime / basis / Net / Socket / INetSock-consts.c

#include "platform.h"

const C_Int_t Socket_INetSock_Ctl_IPPROTO_TCP = IPPROTO_TCP;
const C_Int_t Socket_INetSock_Ctl_TCP_NODELAY = TCP_NODELAY;
Commit	Line	Data
7f918cf1 CE	1	#include "platform.h"
	2
	3	const C_Int_t Socket_INetSock_Ctl_IPPROTO_TCP = IPPROTO_TCP;
	4	const C_Int_t Socket_INetSock_Ctl_TCP_NODELAY = TCP_NODELAY;