package saltoIL

  1. Overview
  2. Docs

Module SaltoIL.Salto_idSource

  • author Pierre Lermusiaux <pierre.lermusiaux@inria.fr>

Copyright © Inria 2022-2023

module OCamlPath = Path
Sourceval star_ident_regex : Str.regexp

Regular-expression for "*IDENT*" where IDENT is any valid OCaml identifier

Sourcemodule Id : sig ... end
Sourcemodule Path : sig ... end
Sourcemodule Salto_env : sig ... end

Maps of variables

Sourcemodule Idents : Set.S with type elt = Id.t

Sets of variables

Sourceval raise_path : Primitive.description Path.t

Salto path for Stdlib.raise

Sourceval reraise_path : Primitive.description Path.t

Salto path for Stdlib.raise_notrace but primitive for %reraise

Sourceval succ_path : Primitive.description Path.t

Salto path for Stdlib.succ

Sourceval pred_path : Primitive.description Path.t

Salto path for Stdlib.pred

Sourceval ge_path : Primitive.description Path.t

Salto path for Stdlib.(>=)

Sourceval le_path : Primitive.description Path.t

Salto path for Stdlib.(<=)

Sourcemodule Longident : sig ... end