Ejemplos de IExpression.Annotate en C# (CSharp)

Ejemplo n.º 1

Archivo: Serialization.cs Proyecto: simonl/TypeTheory

        public IEnumerable <Bits> Serialize(IExpression <Bind, Id, ITerm <Bind, Id> > expression)
        {
            var environment = new Sequence <IExpression <Bind, Id, Bind> > .Empty();

            var annotated = expression.Annotate(environment);

            return(SerializeTerm(annotated));
        }

Ejemplo n.º 2

        public static IAnnotated <Bind, Id, T> TopLevel <Bind, Id, T>(this IExpression <Bind, Id, T> expression)
        {
            var environment = new Sequence <IExpression <Bind, Id, Bind> > .Empty();

            return(expression.Annotate(environment));
        }