diff options
| author | Alasdair | 2018-08-13 19:59:57 +0100 |
|---|---|---|
| committer | Alasdair | 2018-08-13 19:59:57 +0100 |
| commit | c0d6bfaae9f12696b591f14fc8d3cfe08dabd0c4 (patch) | |
| tree | 4263ca5f37250271e96326fa7a6e0ee241f6b1a8 /src/specialize.mli | |
| parent | 82642087083f6c7c548e7c8b14233fde8198e9c7 (diff) | |
Remove old specialisation code in specialize.ml
Diffstat (limited to 'src/specialize.mli')
| -rw-r--r-- | src/specialize.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/specialize.mli b/src/specialize.mli index 474d3c9d..87533e9b 100644 --- a/src/specialize.mli +++ b/src/specialize.mli @@ -68,8 +68,6 @@ val polymorphic_functions : (kinded_id -> bool) -> 'a defs -> IdSet.t which case specialize returns the AST unmodified. *) val specialize : tannot defs -> Env.t -> tannot defs * Env.t -val specialize_variants : tannot defs -> Env.t -> tannot defs * Env.t - val instantiations_of : id -> tannot defs -> uvar KBindings.t list val string_of_instantiation : uvar KBindings.t -> string |