herdtools7.asllib
Asllib.Splitasl
Split (ASL) lexbuffer at "// =======..." limits
val split : Lexing.lexbuf -> (int * string) Seq.t