summaryrefslogtreecommitdiff
path: root/klm/search/types.hh
diff options
context:
space:
mode:
Diffstat (limited to 'klm/search/types.hh')
-rw-r--r--klm/search/types.hh14
1 files changed, 14 insertions, 0 deletions
diff --git a/klm/search/types.hh b/klm/search/types.hh
new file mode 100644
index 00000000..06eb5bfa
--- /dev/null
+++ b/klm/search/types.hh
@@ -0,0 +1,14 @@
+#ifndef SEARCH_TYPES__
+#define SEARCH_TYPES__
+
+#include <stdint.h>
+
+namespace search {
+
+typedef float Score;
+
+typedef uint32_t Arity;
+
+} // namespace search
+
+#endif // SEARCH_TYPES__