sig
  val print_derivation : Derivations.derivation -> MzPprint.document
  val pderivation : Buffer.t -> Derivations.derivation -> unit
end