package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libsail.Spec_analysisSource

Sourceval assigned_vars : 'a Ast.exp -> Ast_util.IdSet.t

Return the set of mutable variables assigned to in the given AST.

Sourceval assigned_vars_in_fexps : 'a Ast.fexp list -> Ast_util.IdSet.t
Sourceval assigned_vars_in_pexp : 'a Ast.pexp -> Ast_util.IdSet.t
Sourceval assigned_vars_in_lexp : 'a Ast.lexp -> Ast_util.IdSet.t
Sourceval pat_id_is_variable : Type_check.env -> Ast.id -> bool

Variable bindings in patterns and expressions

Sourceval bindings_from_pat : Type_check.tannot Ast.pat -> Ast.id list
Sourceval bound_vars : 'a Ast.exp -> Ast_util.IdSet.t
Sourceval equal_kids_ncs : Ast.kid -> Ast.n_constraint list -> Ast_util.KidSet.t

Type-level substitutions into patterns and expressions. Also attempts to update type annotations, but not the associated environments.