Skip to content
Snippets Groups Projects
Commit edcdbaec authored by Ralf Jung's avatar Ralf Jung
Browse files

*oops* undo accidental changes

parent a99ee488
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
theories/typing/lib/option.v
+ 2
− 2
View file @ edcdbaec
...@@ -12,8 +12,8 @@ Section option. ...@@ -12,8 +12,8 @@ Section option.
let: "o'" := !"o" in let: "o'" := !"o" in
let: "r" := new [ #2 ] in let: "r" := new [ #2 ] in
case: !"o'" of case: !"o'" of
[ "r" <-{Σ 0} ();; "k" []; [ "r" <-{Σ 0} ();; "k" ["r"];
"r" <-{Σ 1} "o'" +ₗ #1;; "k" [] ] "r" <-{Σ 1} "o'" +ₗ #1;; "k" ["r"] ]
cont: "k" ["r"] := cont: "k" ["r"] :=
delete [ #1; "o"];; return: ["r"]. delete [ #1; "o"];; return: ["r"].
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment