package Ġeu . qi ou . aaf 4 k . checklist Ċ Ċ interface ĠJ udge ment Ġ{ ĊĠĠĠ Ġfun Ġjudge ( env : ĠMap < Long , ĠState >): ĠNode ĊĠĠĠ Ġfun Ġchoice (): ĠList < Item > ĊĠĠĠ Ġfun Ġupdate ( env : ĠMap < Long , ĠState >): ĠJ udge ment Ċ }