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 : 
  S.Key.t ->
  S.Subrange_state.t ->
  fun_contains_calls:bool ->
  fun_num_stack_slots:int Stack_class.Tbl.t ->
  S.Subrange_info.t

val print : Stdlib.Format.formatter -> S.Subrange_info.t -> unit

Module S.Subrange_info

Module `S.Subrange_info`