Extending an existing type in OCaml

Question

I\'ve been doing some OCaml programming lately to learn the language and to get more acquainted with functional programming. Recently, I\'ve started to think that I\'d like

Answer 1

Update: Ocaml now has extensible types. http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec246

Here you would do

type bexpr += Nop of bexpr