Module type Std_kernel.Validated

module type Validated = Validated.Validated