Skip to content
Permalink
Browse files

add map2 mapping

  • Loading branch information...
larsrh authored and xrchz committed May 12, 2019
1 parent 96ec9c1 commit abdc6fa0799139161526fd86f5aa15395a644cd7
Showing with 1 addition and 0 deletions.
  1. +1 −0 misc/lem_lib_stub/lib.lem
@@ -20,6 +20,7 @@ val map2 : forall 'a 'b 'c. ('a -> 'b -> 'c) -> list 'a -> list 'b -> list 'c
declare hol target_rep function all2 = `EVERY2`
declare hol target_rep function map2 = `MAP2`
declare isabelle target_rep function all2 = `list_all2`
declare isabelle target_rep function map2 = `map2`

let rec the _ (Just x) = x and the x Nothing = x

0 comments on commit abdc6fa

Please sign in to comment.
You can’t perform that action at this time.