module type SIMP = sig
  val simpPgm : Bindex.pgm -> Bindex.pgm 
  val simp : Bindex.exp -> int Env.env -> Bindex.exp
end

module Simp : SIMP = struct 

  open Bindex
  open Env

  let rec simpPgm pgm = pgm (* replace this stub *)

  and simp exp env = exp (* replace this stub *)

end