-record(discovered_variant, { module_path :: binary(), variant_name :: binary(), atom_name :: binary(), float_field_indices :: list(integer()), fields :: list(libero@walker:field_type()) }).