Module Proof.Loc

module Loc: Logtk.ParseLocation