Synopsis

module lu64: {
val lu [m]: (block_size: i64) -> (mat: [m][m]f64) -> [m][m]f64
}
val test_lu [m₁] : (mat: [m₁][m₁]f64) -> [m₁][m₁]f64

Description

↑module lu64
↑val test_lu [m₁]: (mat: [m₁][m₁]f64) -> [m₁][m₁]f64