package why3find

  1. Overview
  2. Docs
A Why3 Package Manager

Install 

dune-project
 Dependency

git.frama-c.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (3)

Authors

  1. L
    Loïc Correnson <loic.correnson@cea.fr>
  2. B
    Benjamin Jorge <benjamin.jorge@cea.fr>

Maintainers

  1. B
    benjamin.jorge@cea.fr
  2. L
    loic.correnson@cea.fr

Sources

why3find-1.3.0.tar.gz
md5=435da830a513fd91ec5411c91126b763
sha512=fd8b04eb16d569c0dc9e5595a40b174d7858121b080c81d459b2f28fb3af1ebc32ef408859d5c1c5f45c61790625c027c2ecfc3d45e597943543de7212bab8d6

doc/why3find.utils/Why3findUtils/Ropes/index.html

Module Why3findUtils.RopesSource

Text document with line-column random access

Sourcetype t
Sourceval lines : t -> int
Sourceval length : t -> int
Sourceval line_at : int -> t -> string
Sourceval char_at : Range.pos -> t -> char
Sourceval eof : t -> Range.pos
Sourceval empty : t
Sourceval concat : t -> t -> t
Sourceval (++) : t -> t -> t
Sourceval fold_left : ('a -> string -> 'a) -> 'a -> t -> 'a
Sourceval fold_right : (string -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval iter : (string -> unit) -> t -> unit
Sourceval iteri : (int -> string -> unit) -> t -> unit
Sourceval to_buffer : Buffer.t -> t -> unit
Sourceval to_channel : out_channel -> t -> unit
Sourceval to_string : t -> string
Sourceval of_string : string -> t
Sourceval pretty : Format.formatter -> t -> unit
Sourceval trim : t -> t
Sourceval prefix_string : int -> string -> string
Sourceval suffix_string : int -> string -> string
Sourceval prefix : Range.pos -> t -> t * string
Sourceval suffix : Range.pos -> t -> string * t
Sourceval update : Range.range -> string -> t -> t
Sourceval substring : Range.range -> t -> string