Module type Sat.USER

type t
val pp : Stdlib.Format.formatter -> t -> unit