function anonymous(
) {
return function Branch$(val) { this.map = val; };
}