package catala

  1. Overview
  2. Docs

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

type 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

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

Innovation. Community. Security.