What should be the initialiser for the label map? #273
tommbendall
started this conversation in
Design discussion
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
What should be the initialiser for the label map?
We currently have:
(the comments were included when the
NullTerm
was added and capture the problems pretty well!) TheNullTerm
is an OK solution to get everything working but doesn't seem very neat.Beta Was this translation helpful? Give feedback.
All reactions