constructed type

constructed type

A type formed by applying some type constructor function to one or more other types. The usual constructions are functions: t1 -> t2, products: (t1, t2), sums: t1 + t2 and lifting: lift(t1).

(In LaTeX, the lifted type is written with a subscript \perp).

See also algebraic data type, primitive type.
References in periodicals archive ?
Tenders are invited for Provision Of Foot Path Around The Plot In Front Of Newly Constructed Type V Accn At Cgra Tuticorin Under Ge Tirunelveli
Tenders are invited for Electrification and providing power supply to the newly constructed Type D, Type C Quarters and street lighting arrangements along the new colony roads at B-G Area.
Tenders are invited for Providing service connection partc pdg int ei at cmfri veravel sh pdg amf panel for 40 kva dg sets partd co a type school bldg 9 no of resi qtrs 4 no type ii 4 no type iii and 1 no type v including development works for kv at dwarka parta providing street lighting near newly constructed type v quarters at dgr junagadh partb construction of office building and 22 nos type i3 nos type ii11 nos type iii7 nos and type iv1 no staff quarters for custom department okha.