Require Import DNA.

Definition to_rna: list DNA -> list RNA :=
  (* Add your definition here *)
  .