let print_if_value (atom_fn : (Types.if_value_type -> string)) (if_value : Types.if_value_type) : unit =
  prout_string (if_value_to_string atom_fn if_value)