Auxiliary definitions related to Lean.RArray
that are typically only used in meta-code, in
particular the ToExpr
instance.
Auxiliary definitions related to Lean.RArray
that are typically only used in meta-code, in
particular the ToExpr
instance.