sig val implementation : UntypedOCaml.implementation -> MzPprint.document val interface : UntypedOCaml.interface -> MzPprint.document end