Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bracetax
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Syntaxic helper functions for Signatures.printers and GenericPrinter.output_ts.
module Raw : sig ... endStandard raw commands
module Link : sig ... endModule for handling links.
module Stack : sig ... endA stack of bracetax environments.
module Names : sig ... endOperations to identify Bracetax commands, and "parse" their arguments.
val non_env_cmd_of_name : string -> string list -> Stack.environmentTransforms some commands to their Stack.environment counter part. Returns `undefined (name, args) if it is not a "simple" command.
val env_to_string : Stack.environment -> stringConverts to a (human readable) string. Used in error messages.
module Table : sig ... endModule to build tables.