Type Definition gluon_check::typecheck::HelpError [] [src]

type HelpError<Id> = Help<TypeError<Id>, Help>;