Module type Functors.Argument

type a

This type a is declared in the Argument module type