Merge pull request #711 from hacspec/proof-libs-t_Default

feat(proof-libs): add `t_Default`
cryspen · Jun 21, 2024 · 667f5c6 · 667f5c6
2 parents d10f891 + b9952e0
commit 667f5c6
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/proof-libs/fstar/core/Core.Default.fsti b/proof-libs/fstar/core/Core.Default.fsti
@@ -0,0 +1,5 @@
+module Core.Default
+
+class t_Default (t: Type0) = {
+  v_default: unit -> t;
+}