Hello, I am curious to hear the design tradeoffs that were considered in choosing polymorphic variants vs variants in the code.mli types. I haven't really wrapped my head around why that decision was made, and am eager to learn more about real world use of polymorphic variants.
Thank you. Trevor
_______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
