---
type: Repr
title: 01.03.07 Core
description: The dependent-CBPV core. It later splits into Core.Value and Core.Comp. This trial keeps one sort.
tags:
  - repr
engine: marimo
marimo-version: 0.23.10
width: full
---

```python {.marimo name="setup"}
import marimo as mo
```

# 01.03.07 Core

The dependent-CBPV core. It later splits into Core.Value and Core.Comp. This trial keeps one sort.