sig
  val fill_in_holes :
    Evalenv.Evalenv.evalenv ->
    string -> Ast.Ast.exp -> Evalenv.Evalenv.evalenv * Ast.Ast.exp
end