IsabelleClient.Result.Position (isabelle_elixir v0.4.1)

View Source

Source position attached to an Isabelle message.