Skip to main content

Browse the archive

Revision 786012623dedd375982038aefabda0cc2621afcc authored by No author on 15 March 1996, 17:35:36 UTC, committed by No author on 15 March 1996, 17:35:36 UTC 
This commit was manufactured by cvs2svn to create tag 'rel115'.
 
git-svn-id: http://caml.inria.fr/svn/ocaml/release/csl-1.15@704 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1 parent 3f8f3d6
Raw File
simplif.mli 
(***********************************************************************)
(*                                                                     *)
(*                         Caml Special Light                          *)
(*                                                                     *)
(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
(*                                                                     *)
(*  Copyright 1995 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(***********************************************************************)

(* $Id$ *)

(* Elimination of useless Llet(Alias) bindings *)

open Lambda

val simplify_lambda: lambda -> lambda
back to top