Module Galax_server.DXQBuiltins

module DXQBuiltins: sig .. end

val add_symbol : Namespace_names.ncname ->
       int ->
       (Code_selection_context.code_selection_context -> Code_fn.bltin) -> unit

val farg0 : Namespace_names.ncname ->
       (Code_selection_context.code_selection_context ->
        Execution_context.algebra_context -> Physical_value.item Cursor.cursor) ->
       unit

val farg1 : Namespace_names.ncname ->
       (Code_selection_context.code_selection_context ->
        Execution_context.algebra_context ->
        Physical_value.item Cursor.cursor -> Physical_value.item Cursor.cursor) ->
       unit

val farg2 : Namespace_names.ncname ->
       (Code_selection_context.code_selection_context ->
        Execution_context.algebra_context ->
        Physical_value.item Cursor.cursor * Physical_value.item Cursor.cursor ->
        Physical_value.item Cursor.cursor) ->
       unit