12 lines
413 B
Text
12 lines
413 B
Text
let Any = ./Any/Type.dhall
|
|
|
|
let Set = ./Set/Type.dhall
|
|
|
|
in { equal : Any → Any → Bool
|
|
, fix : ∀(t : Type) → (t → t) → t
|
|
, `fix'` : (Set → Set) → Set
|
|
, ignoreOtherArgs : ∀(A : Type) → ∀(B : Type) → (A → B) → A → B
|
|
, mergeAttrs : Set → Set → Set
|
|
, toAny : ∀(t : Type) → ∀(v : t) → Any
|
|
, toTypeUnchecked : ∀(t : Type) → ∀(v : Any) → t
|
|
}
|