Pp_stack_alloc (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Pp_stack

Sourceval pp_region : debug:bool -> Format.formatter -> Stack_alloc.region -> unit

val pp_symbolic_zone : 
  debug:bool ->
  Format.formatter ->
  Stack_alloc.symbolic_zone ->
  unit

val pp_sub_region : 
  debug:bool ->
  Format.formatter ->
  Stack_alloc.sub_region ->
  unit