6 lines
146 B
Text
6 lines
146 B
Text
|
let Any = ./Any/Type.dhall
|
||
|
|
|
||
|
|
in { toAny : ∀(t : Type) → ∀(v : t) → Any
|
||
|
|
, toTypeUnchecked : ∀(t : Type) → ∀(v : Any) → t
|
||
|
|
}
|