---
source: crates/tinymist-query/src/hover.rs
expression: content
input_file: crates/tinymist-query/src/fixtures/hover/render_equation.typ
---
Range: 12:20:12:23
```typc
let lam(
A: type,
B: type,
) = dictionary;
```
======
Lambda constructor.
Typing Rule:
<p align="center"><img alt="typst-block" src="data:image-hash/svg+xml;base64,redacted" /></p>
# Positional Parameters
## A
```typc
type: type
```
The type of the argument.
- It can be also regarded as the condition of the proposition.
## B (positional)
```typc
type: type
```
The type of the body.
- It can be also regarded as the conclusion of the proposition.