Skip to content

Instantly share code, notes, and snippets.

@gladimdim

gladimdim/metric_types.re

Created December 18, 2017 11:51
Show Gist options
  • Save gladimdim/543e277b3b021ddfc5ed59bec3253694 to your computer and use it in GitHub Desktop.
Save gladimdim/543e277b3b021ddfc5ed59bec3253694 to your computer and use it in GitHub Desktop.
Download ZIP
Type definitions for two metrics
Raw
metric_types.re
type metricCount = {type_: string};
type metricWithLabel = {
type_: string,
label: string
};
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment