[isabelle] A problem on ML-like function programming



Dear experts:

   Happy new year!

  I have a question on analyzing the structure of a function in function
language.

  I use FL, a function language in with reflection feature.

  My problem:

  I have a simple function definition, and want to print its structure

  let f x=x +1;

  I want to print the value f as a string follows:

 " f x=x + 1";

 how to implement it? Of course, I want to generalize this to any function.

 regards!
lyj



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.