Operator.Matval eye : int -> Symbol.Shape.Type.arrval diagm : ?k:int -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arrval triu : ?k:int -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arrval tril : ?k:int -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr