Module ATDGenerated.Java_profiler_samples_t
type sampled_method={classname : string;methodname : string;signature : string;}type java_profiler_sample={test : string;methods : sampled_method list;}type java_profiler_samples= java_profiler_sample list