type in_addr = Unsigned.uint32val in_addr_t : Unsigned.uint32 S.typval in_addr : in_addr Ctypes.structure S.typval t : t Ctypes.structure S.typval sin_port : (in_port, t Ctypes.structure) S.fieldval sin_addr : (in_addr Ctypes.structure, t Ctypes.structure) S.field