val is_valid_recursive_expression : Ident.t list -> Typedtree.expression -> bool
val is_valid_class_expr : Ident.t list -> Typedtree.class_expr -> bool
Rec_check
val is_valid_recursive_expression : Ident.t list -> Typedtree.expression -> bool
val is_valid_class_expr : Ident.t list -> Typedtree.class_expr -> bool