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