Revision 7843bd32b00de5fc95d3da4a6185d3c7070a7d20 authored by No author on 05 February 1996, 16:21:47 UTC, committed by No author on 05 February 1996, 16:21:47 UTC
git-svn-id: http://caml.inria.fr/svn/ocaml/release/csl-1.14@626 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1 parent 567aeba
subst.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$ *)
(* Substitutions *)
open Typedtree
type t
val identity: t
val add_type: Ident.t -> Path.t -> t -> t
val add_module: Ident.t -> Path.t -> t -> t
val add_modtype: Ident.t -> module_type -> t -> t
val type_expr: t -> type_expr -> type_expr
val value_description: t -> value_description -> value_description
val type_declaration: t -> type_declaration -> type_declaration
val exception_declaration:
t -> exception_declaration -> exception_declaration
val modtype: t -> module_type -> module_type
val signature: t -> signature -> signature
val modtype_declaration: t -> modtype_declaration -> modtype_declaration
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...