Module Implements.Interface

type t('M, 'T) = ('M, t'('M, 'T));
and t'('M, 'T) = {
  1. id: Identifier.t('M, 'T),
  2. targs: option(Type.TypeArgs.t('M, 'T)),
};
let pp: (Format.formatter => 'M => unit) => (Format.formatter => 'T => unit) => Format.formatter => t('M, 'T) => unit;
let show: (Format.formatter => 'M => unit) => (Format.formatter => 'T => unit) => t('M, 'T) => string;
let pp_t': (Format.formatter => 'M => unit) => (Format.formatter => 'T => unit) => Format.formatter => t'('M, 'T) => unit;
let show_t': (Format.formatter => 'M => unit) => (Format.formatter => 'T => unit) => t'('M, 'T) => string;