package jasmin

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

Module Jasmin.CheckAnnotSource

Sourceval check_stack_size : (Expr.stk_fun_extra * (_, _) Prog.func) list -> unit

Check the stacksize, stackallocsize & stackalign annotations, if any