jj-issuu

## eval.ml
(*
 * 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

## avl.ml
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
	(*
	* 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
	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