2 lines
106 B
Text
2 lines
106 B
Text
(* val insert : 'a nav_list -> 'a -> 'a nav_list *)
|
|
let insert (prev, cur, next) v = (prev, cur, v::next)
|