Module De.MakeSource

Parameters

module B : Base

Signature

Sourcetype state = B.state