Skip to content
GitLab

Add missing API functions to interpreter

Merged Melwyn Saldanha requested to merge melwyn95/add-missing-utilities-interpreter into dev

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