Index: doc/theses/jiada_liang_MMath/relatedwork.tex
===================================================================
--- doc/theses/jiada_liang_MMath/relatedwork.tex	(revision d734fa163c9d26bc71c1c73b4619ec33417506ca)
+++ doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 8488649975c076f15e6b6ef03199c8b32afa18bb)
@@ -2236,5 +2236,5 @@
 \end{ocaml}
 The only operations are binding and pattern matching (equality), where the variant name is logically the implementation tag stored in the union for discriminating the value in the object storage.
-OCaml compile store tags as ascending int, starting from 0. Variants @Mon@ to @Sun@ are stored as int value 0 to 6.
+After compilation, variant names are mapped to an opague ascending intergral type discriminants, starting from 0.
 Here, function @take_class@ has a @weekday@ parameter, and returns @"CS442"@, if the weekday value is @Mon@ or @Wed@, @"CS343"@, if the value is @Tue@ or @Thu@, and @"Tutorial"@ for @Fri@.
 The ``@_@'' is a wildcard matching any @weekday@ value, so the function returns @"Take a break"@ for values @Sat@ or @Sun@, which are not matched by the previous cases.