ScopeDef (catala.Desugared.Ast.ScopeDef)

type t =

| Var of Shared_ast.ScopeVar.t * Shared_ast.StateName.t option

| SubScopeVar of Shared_ast.SubScopeName.t
  * Shared_ast.ScopeVar.t
  * Catala_utils.Pos.t

val compare : t -> t -> int

val get_position : t -> Catala_utils.Pos.t

val format_t : Stdlib.Format.formatter -> t -> unit

val hash : t -> int

module Map : Stdlib.Map.S with type key = t

module Set : Stdlib.Set.S with type elt = t