generics-mrsop-2.0.0: Generic Programming with Mutually Recursive Sums of Products.

Index - *

***Generics.MRSOP.Util, Generics.MRSOP.Base