type portId = Packet.int16type pattern = {dlSrc : Packet.dlAddr option;dlDst : Packet.dlAddr option;dlTyp : Packet.dlTyp option;dlVlan : Packet.dlVlan option;dlVlanPcp : Packet.dlVlanPcp option;nwSrc : Packet.nwAddr option;nwDst : Packet.nwAddr option;nwProto : Packet.nwProto option;nwTos : Packet.nwTos option;tpSrc : Packet.tpPort option;tpDst : Packet.tpPort option;inPort : portId option;}type action = | Output of pseudoPort| SetDlVlan of Packet.dlVlan| SetDlVlanPcp of Packet.dlVlanPcp| SetDlSrc of Packet.dlAddr| SetDlDst of Packet.dlAddr| SetNwSrc of Packet.nwAddr| SetNwDst of Packet.nwAddr| SetNwTos of Packet.nwTos| SetTpSrc of Packet.tpPort| SetTpDst of Packet.tpPorttype flowMod = {command : flowModCommand;pattern : pattern;priority : Packet.int16;actions : action list;idle_timeout : timeout;hard_timeout : timeout;notify_when_removed : bool;apply_to_packet : int32 option;out_port : pseudoPort option;check_overlap : bool;}type packetIn = {input_payload : payload;total_len : Packet.int16;port : portId;reason : packetInReason;}val parse_payload : payload -> Packet.packetval marshal_payload : int32 option -> Packet.packet -> payloadval match_all : patternval add_flow : Packet.int16 -> pattern -> action list -> flowModval delete_all_flows : flowModval packetIn_to_string : packetIn -> string