work datatype pattern&valu inside of test.sml file