Merge pull request #2944 from FStarLang/nik_core_logical_ops_vcs

Making the handling of application nodes more uniform in the core checker
FStarLang · May 23, 2023 · 504c21f · 504c21f
2 parents c968b3f + 84c7beb
commit 504c21f
Show file tree

Hide file tree

Showing 2 changed files with 273 additions and 271 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_TypeChecker_Core.ml b/ocaml/fstar-lib/generated/FStar_TypeChecker_Core.ml