import { Facet } from './facet.model' ; import { NumberRangeFilter } from './filter/number-range-filter.model' ; /**
 * Number Range Facet is a trait for filtering results. It extends from  Facet , changes the
 * modelName and uses  NumberRangeFilter as filters.
 *
 *  public export interface NumberRangeFacet extends Facet { /** Model name to indicate the facet type. */ modelName : 'NumberRangeFacet' ; /** Filters available for the facet. */ filters : NumberRangeFilter [ ] ; } /**
 * Type guard to check if a facet is an  NumberRangeFacet .
 *
 *  param facet returns True if the facet is a  NumberRangeFacet , false otherwise.
 *
 *  public export function isNumberRangeFacet ( facet ) { return facet . modelName === 'NumberRangeFacet' ; }