What/how common is the use case?
If a user wants prefixed javascript names, there could be an annotation (like in scala-js) that specifies the javascript name to use. This is more general than adding a prefix. The javascript name could be completely different if desired.
What/how common is the use case? If a user wants prefixed javascript names, there could be an annotation (like in scala-js) that specifies the javascript name to use. This is more general than adding a prefix. The javascript name could be completely different if desired.