Esempio n. 1
0
        public static IExpression <Bind, Id, T> Qualify <Bind, Id, T>(this IUniverse universe, T term)
        {
            var type = new Term <Bind, Id>(new TermF <Bind, Id, ITerm <Bind, Id> > .Universe(universe));

            return(new Expression <Bind, Id, T>(
                       universe: universe.TypeOf(),
                       type: type,
                       term: term));
        }