(Errors.Fatal_DuplicateTypeAnnotationAndValDecl, (format1 "\"%s\" has a val declaration as well as an inlined type annotation; remove one" (Print.lid_to_string l)))(* CH: unsure if the env is good enough for normalizing t here *) let inferred_type_causes_variable...