jj-issuu

module AVL = struct
  type height = int
  type int = height
  module Elt = Int32

  type t = Leaf | Node of t * Elt.t * t * height

  exception Impossible

  let height = function

jj-issuu

(*
 * opam install bench
 * ocamlfind ocamlopt -package unix,bench -linkpkg eval.ml && ./a.out
 *)

type binop = Add | Sub | Mul | Div

type expr =
  | Const of int
  | VarX