Inference

constructor(start: Node, ctx: TranslationContext)