Module `S.Subrange_info`

The module Subrange_info has a similar purpose to Range_info, but for subranges. Its distinguishing property is that it can store information about its context using the additional subrange_state parameter of its create function.

type t

val create : 
  Key.t ->
  Subrange_state.t ->
  fun_contains_calls:bool ->
  fun_num_stack_slots:int Stack_class.Tbl.t ->
  t

val print : Format.formatter -> t -> unit

Module S.Subrange_info

Module `S.Subrange_info`