dwave-hybrid
dwave-hybrid copied to clipboard
Generalize traits to support type checking
Trait could be:
-
'x'
:x
in state -
('x', Type)
:x
in state andisinstance(x, Type)
-
predicate :: state -> Bool
:predicate(state)
true