sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Spec_analysis
val assigned_vars : 'a Ast.exp -> Ast_util.IdSet.t
val assigned_vars_in_fexps : 'a Ast.fexp list -> Ast_util.IdSet.t
val assigned_vars_in_pexp : 'a Ast.pexp -> Ast_util.IdSet.t
val assigned_vars_in_lexp : 'a Ast.lexp -> Ast_util.IdSet.t
val pat_id_is_variable : Type_check.env -> Ast.id -> bool
val bindings_from_pat : Type_check.tannot Ast.pat -> Ast.id list
val bound_vars : 'a Ast.exp -> Ast_util.IdSet.t
val equal_kids_ncs : Ast.kid -> Ast.n_constraint list -> Ast_util.KidSet.t