package saltoIL

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `SaltoIL.Pattern`

val get_mutable_flag : 
  ('a -> Types.label_description) ->
  'a list ->
  Asttypes.mutable_flag

get_mutable_flag f fields returns Immutable if all fields are immutable, or Mutable otherwise

module Construct : sig ... end

type t =

typ of extended patterns

val same_any : t -> bool

same_any p checks if p is equivalent to the pattern Any

val same : t -> t -> bool

same p1 p2 checks if p1 and p2 are equivalent patterns (assuming p1 and p2 have the same type)

val get_variables : t -> (Salto_id.Id.t * Types.type_expr) list

get_variables p returns the lists of variable names and types in the pattern p

val free_other_variables : t -> Salto_id.Id.t list -> t

free_other_variables p xs returns the pattern p where all variables not in xs have been freed (i.e. replaced by Any)