equal
deleted
inserted
replaced
8 sig |
8 sig |
9 val find_indices : ('a -> bool) -> 'a list -> int list |
9 val find_indices : ('a -> bool) -> 'a list -> int list |
10 (* mode *) |
10 (* mode *) |
11 datatype mode = Bool | Input | Output | Pair of mode * mode | Fun of mode * mode |
11 datatype mode = Bool | Input | Output | Pair of mode * mode | Fun of mode * mode |
12 val eq_mode : mode * mode -> bool |
12 val eq_mode : mode * mode -> bool |
13 val mode_ord: mode * mode -> order |
13 val mode_ord: mode ord |
14 val list_fun_mode : mode list -> mode |
14 val list_fun_mode : mode list -> mode |
15 val strip_fun_mode : mode -> mode list |
15 val strip_fun_mode : mode -> mode list |
16 val dest_fun_mode : mode -> mode list |
16 val dest_fun_mode : mode -> mode list |
17 val dest_tuple_mode : mode -> mode list |
17 val dest_tuple_mode : mode -> mode list |
18 val all_modes_of_typ : typ -> mode list |
18 val all_modes_of_typ : typ -> mode list |