Modules in Juvix¶ Juvix Package version¶ package : Package := defaultPackage@{ name := "nspec"; version := mkVersion 0 1 1; dependencies := [github "anoma" "juvix-stdlib" "v0.8.0"] }; Modules by letter¶ A¶ anoma anoma_config anoma_environment anoma_message B¶ basics C¶ commitment commitment_behaviour commitment_environment commitment_messages compute configurator crypto D¶ decryption decryption_behaviour decryption_environment decryption_messages E¶ encryption encryption_behaviour encryption_environment encryption_messages engine engine_behaviour engine_config engine_environment everything I¶ identities identity identity_management identity_management_behaviour identity_management_environment identity_management_messages index M¶ messages N¶ naming naming_behaviour naming_environment naming_messages P¶ p2p prelude R¶ reads_for reads_for_behaviour reads_for_environment reads_for_messages S¶ signs_for signs_for_behaviour signs_for_environment signs_for_messages T¶ template template_behaviour template_config template_environment template_messages ticker ticker_behaviour ticker_config ticker_environment ticker_messages types V¶ verification verification_behaviour verification_environment verification_messages Was this page helpful? Thanks for your feedback! Thanks for your feedback! We'll try to improve this page in the future.