[][src]Type Definition nar::check::pats::core::CoreCopat

type CoreCopat = Copat<DBI, Term>;