abstype and andalso as case do datatype else end eqtype exception false fn fun functor handle if in include infix infixr let local nonfix of op open orelse raise rec sharing sig signature struct structure then true type val where with withtype while unit int real char string substring word ref array vector bool list option order