type int12 = Packet.int16val val_to_mask : 'a1 -> 'a1 masktype tableId = Packet.int8type oxm = | OxmInPort of portId| OxmInPhyPort of portId| OxmMetadata of int64 mask| OxmEthType of Packet.int16| OxmEthDst of Packet.int48 mask| OxmEthSrc of Packet.int48 mask| OxmVlanVId of int12 mask| OxmVlanPcp of Packet.int8| OxmIPProto of Packet.int8| OxmIPDscp of Packet.int8| OxmIPEcn of Packet.int8| OxmIP4Src of int32 mask| OxmIP4Dst of int32 mask| OxmTCPSrc of Packet.int16 mask| OxmTCPDst of Packet.int16 mask| OxmARPOp of Packet.int16| OxmARPSpa of int32 mask| OxmARPTpa of int32 mask| OxmARPSha of Packet.int48 mask| OxmARPTha of Packet.int48 mask| OxmICMPType of Packet.int8| OxmICMPCode of Packet.int8| OxmMPLSLabel of int32| OxmMPLSTc of Packet.int8| OxmTunnelId of int64 masktype oxmMatch = oxm listval match_all : oxmMatchtype pseudoPort = | PhysicalPort of portId| InPort| Flood| AllPorts| Controller of Packet.int16| Anytype action = | Output of pseudoPort| Group of groupId| PopVlan| PushVlan| PopMpls| PushMpls| SetField of oxmtype actionSequence = action listtype instruction = | GotoTable of tableId| ApplyActions of actionSequence| WriteActions of actionSequencetype bucket = {bu_weight : Packet.int16;bu_watch_port : portId option;bu_watch_group : groupId option;bu_actions : actionSequence;}type flowMod = {mfCookie : int64 mask;mfTable_id : tableId;mfCommand : flowModCommand;mfIdle_timeout : timeout;mfHard_timeout : timeout;mfPriority : Packet.int16;mfBuffer_id : bufferId option;mfOut_port : pseudoPort option;mfOut_group : groupId option;mfFlags : flowModFlags;mfOfp_match : oxmMatch;mfInstructions : instruction list;}val add_flow : Packet.int16 -> oxmMatch -> instruction list -> flowModval delete_all_flows : flowModtype packetIn = {pi_total_len : Packet.int16;pi_reason : packetInReason;pi_table_id : tableId;pi_ofp_match : oxmMatch;pi_payload : payload;}