Module Ast.ScopeDefSource

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

Sourcetype 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;
    }
Sourceval equal_kind : kind -> kind -> bool
Sourceval compare_kind : kind -> kind -> int
Sourceval format_kind : Format.formatter -> kind -> unit
Sourceval hash_kind : kind -> int
Sourceval equal : t -> t -> bool
Sourceval compare : t -> t -> int
Sourceval get_position : t -> Catala_utils.Pos.t
Sourceval format : Format.formatter -> t -> unit
Sourceval hash : t -> int
Sourcemodule Map : Catala_utils.Map.S with type key = t
Sourcemodule Set : Set.S with type elt = t