public NamingContext_ofVarI( nilnul.character.toset.be.Alphabet.Asserted alphabet ) { _omega = new txt.stream.Omega(alphabet); _namings = new Dictionary <VarI1, Name.Asserted>(); }
public NamingContext( Dictionary <Var1, Name.Asserted> namings , nilnul.character.toset.be.Alphabet.Asserted alphabet ) { _namings = namings; _omega = new txt.stream.Omega(alphabet); }
public Omega(nilnul.character.toset.be.Alphabet.Asserted alphabet) { _alphabet = alphabet; }