Arch_full (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Arch

Sourcetype 'a callstyle =

| StackDirect
| ByReg of {
1. call : 'a option;
2. return : bool;
}

Sourcemodule type Core_arch = sig ... end

Sourcemodule type Arch = sig ... end

module Arch_from_Core_arch
  (A : Core_arch) : 
  Arch
    with type reg = A.reg
     and type regx = A.regx
     and type xreg = A.xreg
     and type rflag = A.rflag
     and type cond = A.cond
     and type asm_op = A.asm_op
     and type extra_op = A.extra_op