Module for all predefined refined types.
Module for Char
refined types.
Module for refined types that are related to the Internet protocol suite.
Module for numeric refined types.
Module for String
refined types.
Module for date and time related refined types.