[pharmakom]

I think the post assumes some ML background (here OCaml). it is defining a type for the AST in a compiler.