Previous
Up
Next
Module
Validate
module
Validate:
sig
..
end
include
Core_kernel.Validate