val is_valid_recursive_expression :
Ident.t list ->
Typedtree.expression ->
Value_rec_types.recursive_binding_kind optionval is_valid_class_expr : Ident.t list -> Typedtree.class_expr -> boolval is_valid_recursive_expression :
Ident.t list ->
Typedtree.expression ->
Value_rec_types.recursive_binding_kind optionval is_valid_class_expr : Ident.t list -> Typedtree.class_expr -> bool