Add missing API functions to interpreter
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
Edited by Melwyn Saldanha