Nuprl Definition : mk_array
mk_array(Arr;idx;upd;newarray) == <Arr, idx, upd, newarray, Ax, Ax>
Definitions occuring in Statement :
pair: <a, b>,
axiom: Ax
Definitions occuring in definition :
pair: <a, b>,
axiom: Ax
FDL editor aliases :
mk_array
Latex:
mk\_array(Arr;idx;upd;newarray) == <Arr, idx, upd, newarray, Ax, Ax>
Date html generated:
2016_05_15-PM-02_17_37
Last ObjectModification:
2015_09_23-AM-07_38_29
Theory : monads
Home
Index