val ldl_l_symbolic : (int64 -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> unit F.return) F.resultval ldl_l_numeric : (int64 -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> float Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 F.return) F.resultval ldl_l_lsolve : (int64 -> float Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> float Ctypes_static.ptr -> unit F.return) F.resultval ldl_l_dsolve : (int64 -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> unit F.return) F.resultval ldl_l_ltsolve : (int64 -> float Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> float Ctypes_static.ptr -> unit F.return) F.resultval ldl_l_perm : (int64 -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int64 Ctypes_static.ptr -> unit F.return) F.resultval ldl_l_permt : (int64 -> float Ctypes_static.ptr -> float Ctypes_static.ptr -> int64 Ctypes_static.ptr -> unit F.return) F.resultval ldl_l_valid_perm : (int64 -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 F.return) F.resultval ldl_l_valid_matrix : (int64 -> int64 Ctypes_static.ptr -> int64 Ctypes_static.ptr -> int64 F.return) F.result