aiken_lang

Module builtins

Source

Constants§

BUILTIN
PRELUDE

Statics§

INTERNAL_FUNCTIONS

Functions§

from_default_function
plutus
prelude
Build a prelude that can be injected into a compiler pipeline
prelude_data_types
prelude_functions