Up – infer » BO » BufferOverrunDomain » LoopHeadLoc

Module `BufferOverrunDomain.LoopHeadLoc`

type t = IBase.Location.t