df64_interp_helpers (sarek.Sarek_df64.df64_interp

type t = df64

val type_id : df64 Sarek_ir_types.Type_id.t

val from_values : Sarek.Sarek_value.value array -> df64

val to_values : df64 -> Sarek.Sarek_value.value array

val get_field : df64 -> string -> Sarek.Sarek_value.value

val field_names : string list

val to_value : df64 -> Sarek.Sarek_value.value

val from_value : Sarek.Sarek_value.value -> df64