Type Definition DeclDer
fungi_lang::bitype
type DeclDer = Der<DeclRule>;
Module declaration typing derivation