Python become Examples

Example #1

File: context.py Project: paulfchristiano/interpreter

 def set_repr(self, v, new_repr):
     self.update(updates.trivial(), v, repr_change=updates.become(new_repr))

Example #2

File: context.py Project: paulfchristiano/interpreter

 def process_update(source, update, repr):
     repr_change = updates.become(repr)
     self.incoming_update(source, Q, update, repr_change=repr_change)
     return properties.trivial()