pub fn build_array_env(env: &mut Environment) -> Result<(), String>Expand description
Build Array type and all standard declarations, adding them to the environment.
Assumes that Nat, Fin, Bool, Option, List, Prod, Eq,
Ord, BEq, Nat.succ, Nat.add, Nat.sub, Nat.min are
already declared (or referenced by name).