Skip to content

Commit 58110e4

Browse files
david-christiansendavid-christiansen
committed
feat: start mvcgen reference
1 parent 824b2b9 commit 58110e4

File tree

3 files changed

+1293
-823
lines changed

3 files changed

+1293
-823
lines changed

‎Manual.lean‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -336,6 +336,9 @@ Eq
336336
HEq
337337
Max
338338
Min
339+
Std.Do
340+
Std.Do.PredTrans
341+
Std.Do.SVal
339342
Std.HashMap
340343
Std.ExtHashMap
341344
Std.DHashMap

0 commit comments

Comments
 (0)