In order for the abstraction layer to support stats queries, it must be able to transform an OpenFlow 1.0 individualStats response into an abstraction layer flowStats response. The code to perform the transformation should be included in the SDN_OpenFlow0x01.ml and should have the following type signature:
val to_flowStats : OpenFlow0x01_Stats.individualStats -> SDN_Types.flowStats