Up

Module type Incremental

Signature

module type S = S
module Make () : S