Closes #1282 (closed)
Add missing API function to interpreter
-
List.fold_right
-
List.fold_left
-
List.head_opt
-
List.tail_opt
-
Set.fold_desc
-
Set.update
-
Map.get_and_update
-
has a changelog entry
Closes #1282 (closed)
Add missing API function to interpreter
List.fold_right
List.fold_left
List.head_opt
List.tail_opt
Set.fold_desc
Set.update
Map.get_and_update