pretype

pretype

(priːˈtaɪp)
vb (tr)
obsolete to foreshadow
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
References in periodicals archive ?
For a given statement along with pointer information and a ready pretype rs, we present a type system to calculate a post ready-type rs' such that S : (p, rs)[right arrow] [sub.m](A', p', rs').
We note that numbers, variables, and the allocating statement (new) do not affect the ready pretype. In line with semantic rules ([i.sup.r.sub.op]) and ([b.sup.r.sub.op] ) [6], nontrivial arithmetic and Boolean statements and their nontrivial substatements are made ready.
In the rule ([i.sup.e.sub.op]), given the posttype se', we calculate the pretype se" for the statement [S.sub.2].
Similarly, the impaired glucose tolerance observed in patients with pretype 2 diabetes is also compensated for by increased secretion of insulin by pancreatic [beta]-cells.
We first define a set of pretypes, of which the static types for Core Scheme are a subset.