ตัวอย่าง constant

• However, this is only true for datatypes that do not contain constants.

• The type 1 consists of just one member and serves as the source type for constants.

• The algorithm only deals with region variables; region constants only appear in the static semantics.

• The main results of this paper may be extended to expressions with constants without difficulty.

• Indeed, the arbitrage model has the advantage of nonrealism, since only relative values matter for the stability of the network of prices or constants.

• We treat g and rb as constants for present purposes.

• Rate constants for the transitions are determined by reaction rate theory.

• The rate constants did not vary much among the different treatments, except for osmoprimed seeds during the initial 6-h period of hydration and dehydration.

• Fragments of propositional logic are obtained by restricting the use of atoms, constants and/or the use of the connectives.

• We consider a first order language with a universe of constants, a set of variables, a set of predicate names and no function symbols.

• An extended set expression is an expression built out of variables, base symbols, function symbols (including constants), and the generalized projection symbols.

• In a many-sorted signature, we will have different constants 'a', each one of an appropriate sort.

• We denote variables, predicate symbols and function symbols with small letters and constants with capital letters.

• We introduce constants for the object-level type constructors.

• We call these constants as well as any other terms whose type ends in "-> pf" proof constructors.