rleonid

# open Classify ;;
# let feature_map = function | `shortbread -> 0 | `lager -> 1 | `whiskey -> 2 | `porridge -> 3 | `football-> 4 ;;
val feature_map : [< `football | `lager | `porridge | `shortbread | `whiskey ] -> int = <fun>
# let data =
  [
    (`English, [`whiskey; `porridge; `football]);
    (`English, [`shortbread; `whiskey; `porridge]);
    (`English, [`shortbread; `lager; `football]);
    (`English, [`shortbread; `lager]);
    (`English, [`lager; `football]);

rleonid

type ('b , 'a) foo = [ `Foo of 'a
                     | `Bar of 'b
                     ]

type ('a, 'c) ani = [ (('a, 'c) foo)
              | `Cat of 'a
              | `Dog of 'a
              ]

let foo_to_str = function