Dear CakeML developers, is there any list of predefined functions/modules in CakeML? I found some using trial and error, but I'm having a hard time reading the HOL4 scripts in 'basis/'. And on the off chance: Is there a function 'a -> string? Otherwise I'll have to resort to generating "show" functions myself. Cheers Lars