package jasmin

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

Module Env.ExecSource

Sourceval push : Location.t -> Prog.funname -> (Z.t * Z.t) list -> 'asm env -> 'asm env
Sourceval get : 'asm env -> (Prog.funname * (Z.t * Z.t) list) Location.located list