C# (CSharp) IExpression.Annotateの例

コード例 #1

ファイル: Serialization.cs プロジェクト: 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));
        }

コード例 #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));
        }