Armv8a_arch_full (p.jasmin.2026.09.0.doc.jasmin.jasmin.Jasmin.Armv8a_arch

Sourcemodule type Armv8a_input = sig ... end

val atoI : 
  ('a, 'b, 'c, 'd, 'e) Arch_decl.arch_decl ->
  ('a, 'b, 'c, 'd, 'e) Jasmin__Arch_extra.arch_toIdent

Sourcemodule Armv8a (Lowering_params : Armv8a_input) : sig ... end