let rec isdef_ident name env = isdef_struct name env || isdef_enum name env || isdef_var name env || isdef_fun name env