blob: 9ed0c475cafe40736126d84cb61adefc96f5757e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
(* Renaming issues. *)
open Names
open Term
open Miniml
type renaming_function = Idset.t -> name -> identifier
module type Renaming = sig
val rename_type_parameter : renaming_function
val rename_type : renaming_function
val rename_term : renaming_function
val rename_global_type : renaming_function
val rename_global_constructor : renaming_function
val rename_global_term : renaming_function
end
module Make : functor(R : Renaming) -> sig
end
|
