Module InfSignature

A module to declare any infinite type as a signature type, without a separate declaration.

With this module, rather than writing signature class MyInt extends int; with a bindingset, you can simply declare a module module MyModule<InfSignature<MyInt>::Type T> { ... } to declare a * parameterized module that takes a type that extends int as a parameter.

To create a finite signature type, use Signature instead.