Module Matrix.MACHINE

module MACHINE: WpContext.Key  with type t = matrix

type t 
val compare : t -> t -> int
val pretty : Format.formatter -> t -> unit