sig
  val pp_sequence :
    'Pretty_utils.formatter ->
    Stdlib.Format.formatter -> 'Sigs.sequence -> unit
  val pp_equation : Stdlib.Format.formatter -> Sigs.equation -> unit
  val pp_acs : Stdlib.Format.formatter -> Sigs.acs -> unit
  val pp_value :
    'Pretty_utils.formatter ->
    Stdlib.Format.formatter -> 'Sigs.value -> unit
  val pp_rloc :
    'Pretty_utils.formatter ->
    Stdlib.Format.formatter -> 'Sigs.rloc -> unit
  val pp_sloc :
    'Pretty_utils.formatter ->
    Stdlib.Format.formatter -> 'Sigs.sloc -> unit
  module Make : functor (M : Sigs.Model-> Sigs.Model
end