import { Facet } from './facet.model' ; import { EditableNumberRangeFilter } from './filter' ; /**
 * Editable Number Range Facet is a trait for filtering results using
 * user editable  RangeValue .Editable means that the value max and min
 * can be changed by the user instead of havingseveral boolean filters with
 * different values. It extends from  Facet ,changes the modelName and
 * uses  EditableNumberRangeFilter as filters.
 *
 *  public export interface EditableNumberRangeFacet extends Facet { /** Model name to indicate the facet type. */ modelName : 'EditableNumberRangeFacet' ; /** Filters available for the facet. */ filters : EditableNumberRangeFilter [ ] ; } /**
 * Type guard to check if a facet is an  EditableNumberRangeFacet .
 *
 *  param facet returns A boolean that represents if a facet is an  EditableNumberRangeFacet .
 *
 *  public export function isEditableNumberRangeFacet ( facet ) { return facet . modelName === 'EditableNumberRangeFacet' ; }