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