package catala

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ast.ScopeDef`Source

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

Sourcetype t =

Sourceval compare : t -> t -> int

Sourceval get_position : t -> Utils.Pos.t

Sourceval format_t : Format.formatter -> t -> unit

Sourceval hash : t -> int