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. (1995-02-03)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ai ] [ al ] [ algebra ] [ algebraic ] [ algebraic data type ] [ am ] [ an ] [ app ] [ ar ] [ arc ] [ at ] [ b ] [ br ] [ bS ] [ by ] [ ch ] [ co ] [ con ] [ conS ] [ conStructor ] [ cr ] [ data ] [ data type ] [ du ] [ ed ] [ ee ] [ er ] [ eS ] [ fi ] [ file ] [ fo ] [ for ] [ function ] [ ge ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ iS ] [ it ] [ LaTeX ] [ Lex ] [ li ] [ lS ] [ ly ] [ mo ] [ mod ] [ module ] [ mS ] [ na ] [ nc ] [ ne ] [ ng ] [ nS ] [ om ] [ pe ] [ perp ] [ ph ] [ pl ] [ ply ] [ pr ] [ primitive ] [ product ] [ pt ] [ query ] [ rc ] [ re ] [ ro ] [ ru ] [ S ] [ Sc ] [ Script ] [ Se ] [ So ] [ St ] [ Struct ] [ Su ] [ Sum ] [ T ] [ th ] [ to ] [ tr ] [ tt ] [ type ] [ ua ] [ um ] [ uS ] [ ve ] [ X ]