Looking for an experienced individual with experience coding in OCaml to help develop a small semantic analyzer program. Must know how to code class maps, parent maps, implementation maps, and abstract syntax trees. Project includes a number of files and test files but will center around two files specifically. Description of guidelines can be found within the pdf labeled Semantic Analysis Guidelines. A short summary of the program is to able to take a single command-line argument (e.g., file.cl-ast). That argument will be an ASCII text Cool abstract syntax tree file. the program must either indicate that there is an error in the input (for example, a type error) or emit file.cl-type, a serialized Cool abstract syntax tree, class map, implementation map, and parent map. If your program is called checker, invoking checker file.cl-ast should yield the same output as cool --type file.cl. For more information in terms of deadline please message me for infromation.