module Prelim where


open import Prelim.Syntax
open import Prelim.Models
open import Prelim.Res