fun litchar(str :: String)

fun litchar(str :: List.of(String))

fun deftech(pre_content :: PreContent,

            ~key: key :: maybe(String) = #false,

            ~normalize: normalize = #true,

            ~use_style: use_style = #true,

            ~index_extras: index_extras :: ExtrasMap = {})

  :: Element

fun tech(pre_content :: PreContent,

         ~key: key :: maybe(String) = #false,

         ~normalize: normalize = #true,

         ~doc: doc :: maybe(ModulePath) = #false,

         ~tag_prefixes: prefixes :: maybe(List.of(String)) = #false,

         ~indirect: indirect = #false,

         ~quiet: quiet = #true)

  :: Element

fun onscreen(pre_content :: PreContent) :: Element

fun defterm(pre_content :: PreContent) :: Element

fun math(pre_content :: PreContent) :: Element

fun filepath(pre_content :: PreContent) :: Element

fun pkg(pre_content :: PreContent) :: Element

fun exec(content :: Content) :: Element

fun exec_flag(content :: Content) :: Element

fun hash_lang() :: Element