package jasmin

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

Module Jasmin.Sem_params_of_arch_extra

val ep_of_asm_e : ('a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a7) Arch_extra.asm_extra -> 'a8 Syscall.syscall_sem -> 'a8 Sem_params.coq_EstateParams
val spp_of_asm_e : ('a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a7) Arch_extra.asm_extra -> Sem_params.coq_SemPexprParams
val sip_of_asm_e : ('a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a7) Arch_extra.asm_extra -> 'a8 Syscall.syscall_sem -> (('a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a7) Arch_extra.extended_op, 'a8) Sem_params.coq_SemInstrParams