Skip to content

Commit 2e0c0b1

Browse files
david-christiansendavid-christiansen
committed
feat: start mvcgen reference
1 parent 875e007 commit 2e0c0b1

File tree

3 files changed

+1294
-823
lines changed

3 files changed

+1294
-823
lines changed

‎Manual.lean‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -338,6 +338,9 @@ Eq
338338
HEq
339339
Max
340340
Min
341+
Std.Do
342+
Std.Do.PredTrans
343+
Std.Do.SVal
341344
Std.HashMap
342345
Std.ExtHashMap
343346
Std.DHashMap

0 commit comments

Comments
 (0)