Module `Node.Message`

type t = Lang.Range.t Coq.Message.t