Record
gif-images
No description available.
record gif-images {
downsized: option<gif-images-downsized>,
downsized-large: option<gif-images-downsized-large>,
downsized-medium: option<gif-images-downsized-medium>,
downsized-small: option<gif-images-downsized-small>,
downsized-still: option<gif-images-downsized-still>,
fixed-height: option<gif-images-fixed-height>,
fixed-height-downsampled: option<gif-images-fixed-height-downsampled>,
fixed-height-small: option<gif-images-fixed-height-small>,
fixed-height-small-still: option<gif-images-fixed-height-small-still>,
fixed-height-still: option<gif-images-fixed-height-still>,
fixed-width: option<gif-images-fixed-width>,
fixed-width-downsampled: option<gif-images-fixed-width-downsampled>,
fixed-width-small: option<gif-images-fixed-width-small>,
fixed-width-small-still: option<gif-images-fixed-width-small-still>,
fixed-width-still: option<gif-images-fixed-width-still>,
looping: option<gif-images-looping>,
original: option<gif-images-original>,
original-still: option<gif-images-original-still>,
preview: option<gif-images-preview>,
preview-gif: option<gif-images-preview-gif>,
}