interface DiffSlavic = open Prelude in {

  param NForm ;

}