diff options
Diffstat (limited to 'ocamldoc/odoc_parameter.ml')
-rw-r--r-- | ocamldoc/odoc_parameter.ml | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/ocamldoc/odoc_parameter.ml b/ocamldoc/odoc_parameter.ml index 9b30f3181..ba7ff1de3 100644 --- a/ocamldoc/odoc_parameter.ml +++ b/ocamldoc/odoc_parameter.ml @@ -11,8 +11,7 @@ (* $Id$ *) -(** Representation and manipulation of method / function / class parameters, - and module parameters.*) +(** Representation and manipulation of method / function / class parameters. *) let print_DEBUG s = print_string s ; print_newline () @@ -34,14 +33,6 @@ type param_info = (** A parameter is just a param_info.*) type parameter = param_info -(** A module parameter is just a name and a module type.*) -type module_parameter = { - mp_name : string ; - mp_type : Types.module_type ; - mp_type_code : string ; - } - - (** Functions *) (** acces to the name as a string. For tuples, parenthesis and commas are added. *) |