Module type Recent.S1

Parameters

module _ : S

Signature