Searched refs:jsBackend (Results 1 – 5 of 5) sorted by relevance
10 import Agda.Compiler.JS.Compiler (jsBackend)18 , jsBackend
66 JS_BACKEND jsBackend = (JS_BACKEND)0; member398 return warGlobs.jsBackend; in war_getJSBackend()403 warGlobs.jsBackend = backend; in war_setJSBackend()
780 JS_BACKEND jsBackend; in ParseCommandLine() local781 if (js_backend_from_str(token, jsBackend)) in ParseCommandLine()783 war_setJSBackend(jsBackend); in ParseCommandLine()
251 jsBackend := storage.NewEphemeralStorage()252 r, err := NewRuleEvaluator(ui, jsBackend)
86 jsBackend :: Backend87 jsBackend = Backend jsBackend' function