sig type t = Mlpost.Ctypes.matrix end