package jasmin

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module AsmTargetBuilder.MakeSource

Module AsmTargetBuilder.Make: Functor abstration that take an architecture module and generate corresponding assembly printer.

Parameters

module Target : AsmTarget

Signature

Sourcetype reg = Target.reg
Sourcetype regx = Target.regx
Sourcetype xreg = Target.xreg
Sourcetype rflag = Target.rflag
Sourcetype cond = Target.cond
Sourcetype asm_op = Target.asm_op