package catala

  1. Overview
  2. Docs

Module Ast.ScopeDefSource

Inside a scope, a definition can refer either to a scope def, or a subscope def

Sourcetype t =
  1. | Var of Scopelang.Ast.ScopeVar.t
  2. | SubScopeVar of Scopelang.Ast.SubScopeName.t * Scopelang.Ast.ScopeVar.t
    (*

    In this case, the Uid.Var.t lives inside the context of the subscope's original declaration

    *)
Sourceval compare : t -> t -> int
Sourceval get_position : t -> Pos.t
Sourceval format_t : Format.formatter -> t -> unit
Sourceval hash : t -> int