Hi all, Can someone indicate me the best way to read custom type from a file or from command line. for example, type abc = Awsome | Great ;; I want to read it from a file or command line Thanks Uma