catala.desugared
Ast.ScopeDef
Inside a scope, a definition can refer either to a scope def, or a subscope def
catala.dcalc
catala.driver
catala.lcalc
catala.literate
catala.runtime
catala.scalc
catala.scopelang
catala.surface
catala.utils
type t =
| Var of Scopelang.Ast.ScopeVar.t
| SubScopeVar of Scopelang.Ast.SubScopeName.t * Scopelang.Ast.ScopeVar.t
val compare : t -> t -> int
val get_position : t -> Utils.Pos.t
val format_t : Format.formatter -> t -> unit
val hash : t -> int