Module `Totality.Declaration`

type t =

| Trust of {
1. location : Beluga_syntax.Syncom.Location.t;
}
| Numeric of {
1. location : Beluga_syntax.Syncom.Location.t;
2. order : Support.Int.t Order.t Support.Option.t;
}
| Named of {
1. location : Beluga_syntax.Syncom.Location.t;
2. order : Beluga_syntax.Syncom.Identifier.t Order.t Support.Option.t;
3. program : Beluga_syntax.Syncom.Identifier.t;
4. argument_labels : Beluga_syntax.Syncom.Identifier.t Support.Option.t Support.List.t;
}