Cannot infer the implicit parameter bytes_per_element of build_merge_array_addresses whose type is "N" in environment: build_merge_base_addresses_G : symbolic_options_computed_opt -> description -> bool -> list (idx + list idx) -> list REG -> list Z -> G.M (list (REG + idx + idx)) opts : symbolic_options_computed_opt descr : description dereference_scalar : bool items : list (idx + list idx) reg_available0 : list REG runtime_reg0 : list Z s : idx + list idx xs : list (idx + list idx) idxs : list idx r : REG reg_available : list REG rv : Z runtime_reg : list Z base : idx

Makefile.coq:818: src/Assembly/EquivalenceProofs.v

Makefile.coq:818: src/Assembly/EquivalenceProofs.v