| # | toStb(s) | s:Node<'?52252> -> State<TargetContext,StatementBlock<'?52252>> | |
| # | translate(expr) | expr:Expr -> State<TargetContext,Node<Lang>> | |
| # | translateApplication expr1 expr2 | expr1:Expr -> expr2:Expr -> State<TargetContext,(Expr * bool)> | |
| # | translateApplicationFun expr1 expr2 | expr1:Expr -> expr2:Expr -> State<TargetContext,Statement<Lang>> | |
| # | translateAsExpr(expr) | expr:Expr -> State<TargetContext,Expression<Lang>> | |
| # | translateCond(cond) | cond:Expr -> State<TargetContext,Expression<Lang>> | |
| # | translateFieldSet host name value | host:Expr -> name:string -> value:Expr -> State<TargetContext,FieldSet<Lang>> | |
| # | translateForLoop(...) | loopVar:Var -> from':Expr -> to':Expr -> step:Expr option -> body:Expr -> State<TargetContext,ForIntegerLoop<Lang>> | |
| # | translateIf cond thenBranch elseBranch | cond:Expr -> thenBranch:Expr -> elseBranch:Expr -> State<TargetContext,IfThenElse<Lang>> | |
| # | translateSeq expr1 expr2 | expr1:Expr -> expr2:Expr -> State<TargetContext,StatementBlock<Lang>> | |
| # | translateStructFieldGet host name | host:Expr -> name:string -> State<TargetContext,Expression<Lang>> | |
| # | translateUnionFieldGet expr propInfo | expr:Expr -> propInfo:PropertyInfo -> State<TargetContext,Expression<Lang>> | |
| # | translateValue value sType | value:obj -> sType:Type -> State<TargetContext,Const<Lang>> | |
| # | translateVar(var) | var:Var -> State<TargetContext,Variable<'?52266>> | |
| # | translateVarSet var expr | var:Var -> expr:Expr -> State<TargetContext,Assignment<Lang>> | |
| # | translateWhileLoop condExpr bodyExpr | condExpr:Expr -> bodyExpr:Expr -> State<TargetContext,WhileLoop<Lang>> | |