Dgfip_varid (mlang.Mlang.Dgfip

type var_id =

| VarInput of int

| VarBase of int

| VarComputed of int

| VarIterate of string * Mir.cat_variable_loc * Mir.cat_variable_data

type var_id_map = var_id Mir.VariableMap.t

val gen_tab : Mir.cat_variable_loc -> string

val gen_loc_type : Mir.cat_variable_loc -> string

val gen_access_def : 
  var_id Mir.VariableMap.t ->
  Mir.Variable.t ->
  string ->
  string

val gen_access_val : 
  var_id Mir.VariableMap.t ->
  Mir.Variable.t ->
  string ->
  string

val gen_access_pointer : var_id Mir.VariableMap.t -> Mir.Variable.t -> string

val gen_access_def_pointer : 
  var_id Mir.VariableMap.t ->
  Mir.Variable.t ->
  string

val gen_access_pos_from_start : 
  var_id Mir.VariableMap.t ->
  Mir.Variable.t ->
  string

val gen_size : var_id Mir.VariableMap.t -> Mir.Variable.t -> string