kdrag.notation.GenericDispatch

kdrag.notation.GenericDispatch(default_factory) → SortDispatch

A decorator version of SortDispatch with a default factory. This is useful for definition Sort generic definitions.

>>> @GenericDispatch
... def id(sort):
...    x = smt.Const("x", sort)
...    return kd.define("id", [x], x)
>>> id(smt.IntVal(3))
id(3)