Module Ast.ScopeDef

Inside a scope, a definition can refer to a variable (possibly an intermediate state thereof) or an input of a subscope.

type kind =
  1. | Var of Shared_ast.StateName.t option
  2. | SubScopeInput of {
    1. name : Shared_ast.ScopeName.t;
    2. var_within_origin_scope : Shared_ast.ScopeVar.t;
    }
val equal_kind : kind -> kind -> bool
val compare_kind : kind -> kind -> int
val format_kind : Stdlib.Format.formatter -> kind -> unit
val hash_kind : strip:Catala_utils.Uid.Module.t option -> kind -> Catala_utils.Hash.t
val equal : t -> t -> bool
val compare : t -> t -> int
val get_position : t -> Catala_utils.Pos.t
val format : Stdlib.Format.formatter -> t -> unit
val hash : strip:Catala_utils.Uid.Module.t option -> t -> Catala_utils.Hash.t
module Map : Catala_utils.Map.S with type key = t
module Set : Stdlib.Set.S with type elt = t