{Record print print_line} Where Let (print s) (Prim print s) Let (print_line s) (Prim print_line s)