1
ML
2
val parse_ast_translation = ("¤", fn asts => Appl (Constant "LAM " :: asts)) ::
3
parse_ast_translation;
4
val print_ast_translation = ("LAM ", fn asts => Appl (Constant "¤" :: asts)) ::
5
print_ast_translation;