package saltoIL

You can search for identifiers within the package.

in-package search v0.2.0

package saltoIL

saltoIL
- SaltoIL
  - Ast
  - Ast_printer
  - Coercion
  - Pattern
    
    Construct
  - Predefined
    
    Bool
    
    Exception
    
    List
    
    Unit
  - Program_point
    
    Map
  - Salto_id
    
    Id
    
    Idents
    
    Longident
    
    Path
    
    Salto_env
  - StringMap
  - Term
    
    FV
    
    Prims
  - Transpose

Legend:
Library
Module
Module type
Parameter
Class
Class type

author

: Benoît Montagu <benoit.montagu@inria.fr>

author

type t

module Map : sig ... end

type internal_desc =

| Location_file
| Location_line
| Location_column
| Location_tuple
| Location_value
| Match_failure
| Raise
| Reraise
| Raise_match_failure
| Reraise_exn
| Match_otherwise
| Let_pat
| Let_value
| Let_body
| Let_match
| Intermediate_let
| Intermediate_let_id
| Dispatch_value
| Dispatch_exn
| Dispatch_value_body
| Dispatch_exn_body
| Function_id
| Function_body
| Letop_id
| Letop_lhs
| Letop_rhs
| Letop_body
| Letop_binding
| Letop_fun
| Letop_apply
| Disambiguized
| Apply_closure of Asttypes.arg_label
| Intermediate_apply
| Let_eval_op
| Let_eval_args
| Closure_id
| Sequand_false
| Sequor_true
| Primitive_apply
| Primitive_closure
| Class_fresh_value

type location =

| Transposed of Location.t
| Internal of Location.t * internal_desc

val compare : t -> t -> int

val hash_fold : Base.Hash.state -> t -> Base.Hash.state

val register : location -> t

Registers a program point for a location

val register_bool : location -> bool -> t

Registers a program point for a boolean. We share the same identifier for identical booleans. We take negative numbers for booleans. It does not conflict with other identifiers, since they are non-negative.

val get_location_map : unit -> location Map.t

Gets the location map, that assigns resolves program points into locations, for terms that are not booleans or integers.

val pp : Format.formatter -> t -> unit

Formatting function of program points