Hets - the Heterogeneous Tool Set
ATC.Graph
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Gr GrContext
Gr
GrContext