package Ġcore . algebra ic DataTypes And Pattern Matching . pattern Matching Ċ Ċ /** Ċ Ġ* ĠCreated Ġby ĠChen J in X in Ġon Ġ 2 0 2 1 / 6 / 2 8 Ġä¸ĭåįĪ 3 : 0 7 Ċ Ġ*/ Ċ fun Ġconstant Pattern ( a : ĠInt ) Ġ= Ġwhen Ġ( a ) Ġ{ ĊĠĠĠĠ 1 Ġ-> Ġ" It Ġis Ġ 1 " ĊĠĠĠĠ 2 Ġ-> Ġ" It Ġis Ġ 2 " ĊĠĠĠ Ġelse Ġ-> Ġ" It Ġis Ġother Ġnumber " Ċ } Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġprintln ( constant Pattern ( 1 )) Ċ }