Guest User

Untitled

a guest
Feb 16th, 2019
85
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.48 KB | None | 0 0
  1. type t =
  2. | Plus
  3. | Times
  4. | Eq
  5. | Ne
  6. | Lt
  7. | Le
  8. | Gt
  9. | Ge
  10. | Imp
  11.  
  12. let map ~plus ~times ~eq ~ne ~lt ~le ~gt ~ge ~imp = function
  13. | Plus -> plus
  14. | Times -> times
  15. | Eq -> eq
  16. | Ne -> ne
  17. | Lt -> lt
  18. | Le -> le
  19. | Gt -> gt
  20. | Ge -> ge
  21. | Imp -> imp
  22.  
  23. let f = map
  24. ~plus:"+"
  25. ~times:"*"
  26. ~eq:"="
  27. ~ne:"/="
  28. ~lt:"<"
  29. ~le:"<="
  30. ~gt:">"
  31. ~ge:">="
  32. ~imp:"=>"
  33.  
  34. let _ = f Plus
  35. let _ = f Times
  36. let _ = f Eq
  37. let _ = f Ne
  38. let _ = f Lt
  39. let _ = f Le
  40. let _ = f Gt
  41. let _ = f Ge
  42. let _ = f Imp
Add Comment
Please, Sign In to add comment