sig
  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
end