Sentence examples for an arbitrary type from inspiring English sources

The definition of equality for lists of elements of an arbitrary type uses the equality test for elements of this type.

The corresponding dispersion equation is derived for an arbitrary type of hereditary operator and the algorithm is developed for its numerical solution.

Let T be an ergodic Lebesgue space transformation of an arbitrary type, α, β the nontransient cocycles of the associated ergodic equivalence relation with values in a locally compact separable group G, r the Radon-Nikodym cocycle.

Eq(a Rightarrow a rightarrow a rightarrow )Bool, where constraint Eq(a) indicates that type variable (a) cannot be instantiated to an arbitrary type, but only to a type that has been defined as an instance of class Eq. An instance of a type class specifies instance types for type class parameters, and gives definitions of the overloaded names specified in the class.

Parametric polymorphism allows instantiation of quantified variables (alpha,) in quantified types (forall alpha.,sigma,) to all types ([alpha :=tau ]sigma,) that is, every type generated from (sigma ) by replacing free occurrences of type variable (alpha ) in (sigma ) by an arbitrary type (tau ) (the notion of free and bound variables is well known; see, e.g., [1, 2]).

Under the null hypothesis that there is no difference between the probability densities for cases and controls, the K-function is defined by (number of events j within distance s of an arbitrary type i event), and λ j is the intensity of j events: i = 1 for cases and i = 2 for controls.

In fact, for any arbitrary type of (pseudoknot-free) RNA, a corresponding random sampler can be derived in the presented way.

Solution method is useful for any arbitrary type of free, clamped, and simply supported boundary conditions along the two other curved edges of the shell.

The downsampling operator when takes a stream of arbitrary type and a Boolean stream and keeps only the events of the first one at those instants where the second one is true.

A general solution of the vibration of an Euler Bernoulli beam with arbitrary type of discontinuity at arbitrary number of locations is presented in this paper.

Similarly, the implicit parameter used in the type class pattern accepts the type class which we have defined rather than an arbitrary existing type.