compiler-libs.common
Value_rec_check
compiler-libs.bytecomp
compiler-libs.optcomp
compiler-libs.toplevel
dynlink
eval
jit
runtime_events
stdlib
stdlib_alpha
stdlib_beta
stdlib_stable
stdlib_upstream_compatible
str
threads
unix
val is_valid_recursive_expression : Ident.t list -> Typedtree.expression -> Value_rec_types.recursive_binding_kind option
val is_valid_class_expr : Ident.t list -> Typedtree.class_expr -> bool