package bracetax

  1. Overview
  2. Docs

Module Bracetax_commandsSource

Syntaxic helper functions for Signatures.printers and GenericPrinter.output_ts.

Sourcemodule Raw : sig ... end

Standard raw commands

Module for handling links.

Sourcemodule Stack : sig ... end

A stack of bracetax environments.

Sourcemodule Names : sig ... end

Operations to identify Bracetax commands, and "parse" their arguments.

Sourceval non_env_cmd_of_name : string -> string list -> Stack.environment

Transforms some commands to their Stack.environment counter part. Returns `undefined (name, args) if it is not a "simple" command.

Sourceval env_to_string : Stack.environment -> string

Converts to a (human readable) string. Used in error messages.

Sourcemodule Table : sig ... end

Module to build tables.