Module `Ocaml_typing.Value_rec_check`Source

val is_valid_recursive_expression : 
  Ident.t list ->
  Typedtree.expression ->
  Value_rec_types.recursive_binding_kind option

Sourceval is_valid_class_expr : Ident.t list -> Typedtree.class_expr -> bool

Module Ocaml_typing.Value_rec_checkSource