compileToES : Ref Ctxt Defs -> Ref Syn SyntaxInfo -> CG -> ClosedTerm -> List String -> Core String
Compiles the given `ClosedTerm` for the list of supported backends to JS code.