Up – infer » BO__BufferOverrunDomain » LoopHeadLoc

Module `BO__BufferOverrunDomain.LoopHeadLoc`

type t = IBase.Location.t