package saltoIL

  1. Overview
  2. Docs
  • author Pierre Lermusiaux <pierre.lermusiaux@inria.fr>

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

Salto path for Stdlib.succ

Salto path for Stdlib.pred

Salto path for Stdlib.(>=)

Salto path for Stdlib.(<=)

module Longident : sig ... end
OCaml

Innovation. Community. Security.