sig module Enable : Plugin.BOOL module Name : Plugin.STRING end