Type constraints can optionally follow the type name in an Ada object declaration. In general, they do not provide EQUEL with runtime type information, so they are not fully processed. The following two constraints describe the syntax and restrictions of EQUEL type constraints.