Juvix Markdown error
Command '['juvix', '--log-level=error', 'markdown', '--strip-prefix', 'docs', '--folder-structure', '--prefix-
url', 'https://specs.anoma.net/main/', '--stdout', '***/everything.juvix.md', '--no-colors']' timed out after
10 seconds
Everything
module everything;
{- Prelude -}
import prelude;
{- System -}
import arch.system.identity.identity;
{- Types -}
-- import arch.node.types;
import arch.node.types.basics;
import arch.node.types.crypto;
import arch.node.types.messages;
import arch.node.types.identities;
import arch.node.types.anoma_message;
import arch.node.types.anoma_config;
import arch.node.types.anoma_environment;
import arch.node.types.anoma;
import arch.node.types.engine_environment;
import arch.node.types.engine_behaviour;
import arch.node.types.engine;
{- Engines -}
{- Identity -}
import arch.node.engines.commitment_messages;
import arch.node.engines.commitment_config;
import arch.node.engines.commitment_environment;
import arch.node.engines.commitment_behaviour;
import arch.node.engines.commitment;
import arch.node.engines.decryption_messages;
import arch.node.engines.decryption_config;
import arch.node.engines.decryption_environment;
import arch.node.engines.decryption_behaviour;
import arch.node.engines.decryption;
import arch.node.engines.encryption_messages;
import arch.node.engines.encryption_config;
import arch.node.engines.encryption_environment;
import arch.node.engines.encryption_behaviour;
import arch.node.engines.encryption;
import arch.node.engines.identity_management_messages;
import arch.node.engines.identity_management_config;
import arch.node.engines.identity_management_environment;
import arch.node.engines.identity_management_behaviour;
import arch.node.engines.identity_management;
import arch.node.engines.naming_messages;
import arch.node.engines.naming_config;
import arch.node.engines.naming_environment;
import arch.node.engines.naming_behaviour;
import arch.node.engines.naming;
import arch.node.engines.reads_for_messages;
import arch.node.engines.reads_for_config;
import arch.node.engines.reads_for_environment;
import arch.node.engines.reads_for_behaviour;
import arch.node.engines.reads_for;
import arch.node.engines.signs_for_messages;
import arch.node.engines.signs_for_config;
import arch.node.engines.signs_for_environment;
import arch.node.engines.signs_for_behaviour;
import arch.node.engines.signs_for;
import arch.node.engines.verification_messages;
import arch.node.engines.verification_config;
import arch.node.engines.verification_environment;
import arch.node.engines.verification_behaviour;
import arch.node.engines.verification;
{- Hardware -}
import arch.node.engines.local_key_value_storage_messages;
import arch.node.engines.local_key_value_storage_config;
import arch.node.engines.local_key_value_storage_environment;
import arch.node.engines.local_key_value_storage_behaviour;
import arch.node.engines.local_key_value_storage;
import arch.node.engines.logging_messages;
import arch.node.engines.logging_config;
import arch.node.engines.logging_environment;
import arch.node.engines.logging_behaviour;
import arch.node.engines.logging;
import arch.node.engines.wall_clock_messages;
import arch.node.engines.wall_clock_config;
import arch.node.engines.wall_clock_environment;
import arch.node.engines.wall_clock_behaviour;
import arch.node.engines.wall_clock;
import arch.node.engines.local_time_series_storage_messages;
import arch.node.engines.local_time_series_storage_config;
import arch.node.engines.local_time_series_storage_environment;
import arch.node.engines.local_time_series_storage_behaviour;
import arch.node.engines.local_time_series_storage;
{- Network -}
import arch.node.net.router_messages;
import arch.node.net.router_config;
import arch.node.net.router_environment;
import arch.node.net.router_behaviour;
import arch.node.net.node_proxy_messages;
import arch.node.net.node_proxy_config;
import arch.node.net.node_proxy_environment;
import arch.node.net.node_proxy_behaviour;
import arch.node.net.node_proxy;
import arch.node.net.transport_protocol_messages;
import arch.node.net.transport_protocol_config;
import arch.node.net.transport_protocol_environment;
import arch.node.net.transport_protocol_behaviour;
import arch.node.net.transport_protocol;
import arch.node.net.transport_connection_messages;
import arch.node.net.transport_connection_config;
import arch.node.net.transport_connection_environment;
import arch.node.net.transport_connection_behaviour;
import arch.node.net.transport_connection;
import arch.node.net.pub_sub_topic_messages;
import arch.node.net.pub_sub_topic_config;
import arch.node.net.pub_sub_topic_environment;
import arch.node.net.pub_sub_topic_behaviour;
import arch.node.net.pub_sub_topic;
import arch.node.net.storage_messages;
import arch.node.net.storage_config;
import arch.node.net.storage_environment;
import arch.node.net.storage_behaviour;
import arch.node.net.storage;
{- Ordering -}
import arch.node.engines.mempool_worker_messages;
import arch.node.engines.mempool_worker_config;
import arch.node.engines.mempool_worker_environment;
import arch.node.engines.mempool_worker_behaviour;
import arch.node.engines.mempool_worker;
import arch.node.engines.executor_messages;
import arch.node.engines.executor_config;
import arch.node.engines.executor_environment;
import arch.node.engines.executor_behaviour;
import arch.node.engines.executor;
import arch.node.engines.shard_messages;
import arch.node.engines.shard_config;
import arch.node.engines.shard_environment;
import arch.node.engines.shard_behaviour;
import arch.node.engines.shard;
{- Misc -}
import arch.node.engines.ticker_messages;
import arch.node.engines.ticker_config;
import arch.node.engines.ticker_environment;
import arch.node.engines.ticker_behaviour;
import arch.node.engines.ticker;
{- Tutorial Templates -}
import tutorial.engines.template_messages;
import tutorial.engines.template_config;
import tutorial.engines.template_environment;
import tutorial.engines.template_behaviour;
import tutorial.engines.template;
import tutorial.engines.template_minimum_messages;
import tutorial.engines.template_minimum_config;
import tutorial.engines.template_minimum_environment;
import tutorial.engines.template_minimum_behaviour;
import tutorial.engines.template_minimum;
-- Add more engines here