sig
  val mk_inl : Sym.t
  val mk_inr : Sym.t
  val mk_outl : Sym.t
  val mk_outr : Sym.t
  val get : Sym.t -> Sym.coproduct
  val is : Sym.t -> bool
  val is_inl : Sym.t -> bool
  val is_inr : Sym.t -> bool
  val is_outl : Sym.t -> bool
  val is_outr : Sym.t -> bool
  val pp : 'a Pretty.printer -> (Sym.coproduct * 'a list) Pretty.printer
end