Skip to content

Instantly share code, notes, and snippets.

@erhangundogan

erhangundogan/variant.ml

Created October 5, 2021 09:19
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save erhangundogan/a0c660bf3b993fd9fbcf4e17515391d0 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save erhangundogan/a0c660bf3b993fd9fbcf4e17515391d0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
variant.ml
(* https://ocaml.org/manual/expr.html#sss:expr-variants *)
type t =
| Var of string
| Not of t
| And of t * t
| Or of t * t
let test = And
(Var "x", Not (Or
(Var "y", Var "z")
))
;;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment