sig
  type 'mat unop =
      ?m:int ->
      ?n:int ->
      ?br:int -> ?bc:int -> ?b:'mat -> ?ar:int -> ?ac:int -> 'mat -> 'mat
  type 'mat binop =
      ?m:int ->
      ?n:int ->
      ?cr:int ->
      ?cc:int ->
      ?c:'mat ->
      ?ar:int -> ?ac:int -> 'mat -> ?br:int -> ?bc:int -> 'mat -> 'mat
end