sig
  val compile_inputtuple :
    Xquery_ast.expr_handle ->
    Finfo.finfo -> Logical_algebra_types.logical_algop_expr
  val compile_ctype :
    Logical_algebra_types.logical_compile_context ->
    Xquery_core_ast.csequencetype * Xquery_type_core_ast.cxtype ->
    Xquery_algebra_ast.asequencetype
  val compile_opt_ctype :
    Logical_algebra_types.logical_compile_context ->
    (Xquery_core_ast.csequencetype * Xquery_type_core_ast.cxtype) option ->
    Xquery_algebra_ast.asequencetype option
  val compile_cnode_test :
    Xquery_core_ast.cnode_test -> Xquery_algebra_ast.anode_test
  val compile_overloaded_table_sigs :
    Logical_algebra_types.logical_compile_context ->
    Xquery_core_ast.overloaded_signature_table ->
    Xquery_algebra_ast.aoverloaded_signature_table
  val compile_cfunction_sig :
    Logical_algebra_types.logical_compile_context ->
    Xquery_core_ast.cfunction_signature ->
    Xquery_algebra_ast.afunction_signature
end