Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- type t =
- | Plus
- | Times
- | Eq
- | Ne
- | Lt
- | Le
- | Gt
- | Ge
- | Imp
- let map ~plus ~times ~eq ~ne ~lt ~le ~gt ~ge ~imp = function
- | Plus -> plus
- | Times -> times
- | Eq -> eq
- | Ne -> ne
- | Lt -> lt
- | Le -> le
- | Gt -> gt
- | Ge -> ge
- | Imp -> imp
- let f = map
- ~plus:"+"
- ~times:"*"
- ~eq:"="
- ~ne:"/="
- ~lt:"<"
- ~le:"<="
- ~gt:">"
- ~ge:">="
- ~imp:"=>"
- let _ = f Plus
- let _ = f Times
- let _ = f Eq
- let _ = f Ne
- let _ = f Lt
- let _ = f Le
- let _ = f Gt
- let _ = f Ge
- let _ = f Imp
Add Comment
Please, Sign In to add comment