Don't know much OCaml (understatement...) but the way I understand it an OCaml type-switch like the expr one is essentially enumerating the different ways one can construct an expr. True is an expr, so is False, etc. -…
Don't know much OCaml (understatement...) but the way I understand it an OCaml type-switch like the expr one is essentially enumerating the different ways one can construct an expr. True is an expr, so is False, etc. -…