Value_rec_check (melange.Melange_compiler_libs.Value_rec

let is_valid_recursive_expression: 
  list(Ident.t) =>
  Typedtree.expression =>
  option(Value_rec_types.recursive_binding_kind);

let is_valid_class_expr: list(Ident.t) => Typedtree.class_expr => bool;