sig
  val factorize_tpnf :
    Typing_context.static_context ->
    Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr
end