public void AddDatatypeDecl(string declName, List <DatatypeCtor> ctors) { var d = AH.MakeDatatypeDecl(module, declName, ctors); AddTopLevelDecl(d); }