let define_enum ~env name = if List.mem_assoc name env.struct_name_table then raise (Type_Error_local "duplicated enumeration definition") else env.struct_name_table <- (name, EnumName) :: env.struct_name_table