You can search for identifiers within the package.
in-package search v0.2.0
saltoIL
SaltoIL.Salto_id
Copyright © Inria 2022-2023
module OCamlPath = Path
val star_ident_regex : Str.regexp
Regular-expression for "*IDENT*" where IDENT is any valid OCaml identifier
module Id : sig ... end
module Path : sig ... end
module Salto_env : sig ... end
Maps of variables
module Idents : Set.S with type elt = Id.t
Sets of variables
val raise_path : Primitive.description Path.t
Salto path for Stdlib.raise
val reraise_path : Primitive.description Path.t
Salto path for Stdlib.raise_notrace but primitive for %reraise
val succ_path : Primitive.description Path.t
Salto path for Stdlib.succ
val pred_path : Primitive.description Path.t
Salto path for Stdlib.pred
val ge_path : Primitive.description Path.t
Salto path for Stdlib.(>=)
val le_path : Primitive.description Path.t
Salto path for Stdlib.(<=)
module Longident : sig ... end