def translate_pat_Name_constructor(self, ctx, pat, scrutinee):
id = pat.id
if id == "True":
return (scrutinee, typy.odict())
elif id == "False":
return (ast.UnaryOp(op=ast.Not(), operand=scrutinee), typy.odict())