sessionPing(sessionURI: URI)sessionPong(sessionURI: URI)
createAgentRequest(authType: String, authValue: String)
| 00lilllllil;0lilillllli;0lilillllil;0lilililillli;0lilllll;0lilililllili;0lilillilll;0lilillllli;0lilililllil;0lilillillili;0lillilill;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;n00lilllllil;0lilillllli;0lilillllil;0lilililillli;0lilllll;0lilililllili;0lilillilll;0lilillllli;0lilililllil;0lilillillili;0lillilill;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;0lililllill;0lilillililili;0lilillililili;0lilllll;n00lilllllil;0lilillllli;0lilillllil;0lilililillli;0lilllll;0lilililllili;0lilillilll;0lilillllli;0lilililllil;0lilillillil |
| class TagTree { | |
| static function render(tree: Dynamic): String { | |
| var result: Array<String> = []; | |
| var keys: Array<String> = untyped (Object.keys(tree)); | |
| for (i in keys) { | |
| var child: Dynamic = untyped tree[i]; | |
| if (untyped child._visited) { | |
| untyped __js__("delete child._visited"); | |
| var childStr = render(child); | |
| result.push( |
| import scala.collection.mutable.HashMap | |
| class Term[Name] | |
| case class Var[Name] (val x: Name) extends Term[Name] | |
| case class App[Name] (val t1: Term[Name], val t2: Term[Name]) extends Term[Name] | |
| case class Lam[Name] (val x: Name, t1: Term [Name]) extends Term[Name] | |
| class FreeVars[Name](val instance: Term[Name]) { | |
| def freeVars: List[Name] = instance match { |