IsabelleClient.Result.Position (isabelle_elixir v0.3.0)

View Source

Source position attached to an Isabelle message.