equal
deleted
inserted
replaced
65 |
65 |
66 (** print modes **) |
66 (** print modes **) |
67 |
67 |
68 val print_mode = ref ([]: string list); |
68 val print_mode = ref ([]: string list); |
69 |
69 |
70 fun has_mode s = s mem_string ! print_mode; |
70 fun has_mode s = member (op =) (! print_mode) s; |
71 |
71 |
72 type mode_fns = |
72 type mode_fns = |
73 {output: string -> string * real, |
73 {output: string -> string * real, |
74 keyword: bool -> string -> string * real, |
74 keyword: bool -> string -> string * real, |
75 indent: string * int -> string, |
75 indent: string * int -> string, |