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