Sarah Scott

Thank you for the quick response! It is now clear to me how to do this.

Hi, I have been using the command line utilities for some time now. But I would like to use the TSS from C. Is there an intended way to do this? The reason I am doing this is to make an interface between CakeML and the TSS. Thank you.