sig
  type bltin = Algebra_type.item_cursor_nary_to_item_cursor_code
  type bltin_mat = Algebra_type.item_list_nary_to_item_list_code
  val lookup_bltin_fctn :
    Xquery_common_ast.cfname * int ->
    Code_selection_context.code_selection_context -> Code_fn.bltin
  val add_bltin_fctn :
    (Xquery_common_ast.cfname * int) *
    (Code_selection_context.code_selection_context -> Code_fn.bltin) -> 
    unit
  val _fn_boolean : Algebra_type.alg_compile_context -> Code_fn.bltin
end