diff options
Diffstat (limited to 'toplevel/class.mli')
| -rw-r--r-- | toplevel/class.mli | 19 |
1 files changed, 2 insertions, 17 deletions
diff --git a/toplevel/class.mli b/toplevel/class.mli index b0350985..7717d754 100644 --- a/toplevel/class.mli +++ b/toplevel/class.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(*i $Id: class.mli,v 1.17.6.1 2004/07/16 19:31:47 herbelin Exp $ i*) +(*i $Id: class.mli 6748 2005-02-18 22:17:50Z herbelin $ i*) (*i*) open Names @@ -50,19 +50,4 @@ val add_coercion_hook : Tacexpr.declaration_hook val add_subclass_hook : Tacexpr.declaration_hook -(* [try_add_new_class ref] declares [ref] as a new class; usually, - this is done implicitely by [try_add_new_coercion]'s functions *) -val try_add_new_class : global_reference -> strength -> unit - -(*s This is used for the discharge *) -type coercion_entry - -val add_new_coercion : coercion_entry -> unit - -val process_class : - dir_path -> identifier list -> - (cl_typ * cl_info_typ) -> (cl_typ * cl_info_typ) -val process_coercion : - dir_path -> identifier list -> coercion -> coercion_entry - -val class_of_ref : global_reference -> cl_typ +val class_of_global : global_reference -> cl_typ |