Skip to main content

HeliosLearn Language guide SDK reference Iris API

Introduction
cbor v0.3.1
codec-utils v0.3.4
compiler v0.17.22
contract-utils v0.3.21
crypto v0.2.3
ledger v0.7.15
tx-utils v0.6.21
uplc v0.7.17
Plumbing

contract-utils v0.3.21
StrictType

StrictType

export type StrictType<C extends CastLike<any, any>> = C extends CastLike<unknown, any>
  ? TStrict
  : never

TypeCheckOutput

Documentation

Learn
Language guide
SDK reference
Iris API

Community

Discord
X
Stack Exchange

© 2025 Helios Lang