Module Dokeysto.CommonSource

Sourcetype filename = string
Sourcetype position = {
  1. off : int;
  2. len : int;
}