let ground_if_value_to_string : Types.if_value_type -> string =
  if_value_to_string atom_ground_value_to_string