FDL > PVS > Prelude > equalities > = : const-decl

=: [T, T- > boolean] ;