Rec_check (melange.Melange_compiler_libs.Rec

exception Illegal_expr;

let is_valid_recursive_expression: 
  list(Ident.t) =>
  Typedtree.expression =>
  bool;

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