Module Read.KernelSource

Sourcetype t = {
  1. ty : int;
  2. koid : int64;
  3. name : string;
  4. args : Args.t;
}