Module `Make.Builder`

Ops Builder

val op_siso : 
  ff:(Core.t -> Core.t) ->
  fd:(Core.t -> Core.t) ->
  df:(Core.t -> Core.t -> Core.t -> Core.t) ->
  r:(Core.t -> Core.op) ->
  Core.t ->
  Core.t

single input single output operation

val op_sipo : 
  ff:(Core.t -> Core.t * Core.t) ->
  fd:(Core.t -> Core.t * Core.t) ->
  df:(Core.t -> Core.t -> Core.t -> Core.t) ->
  r:
    ((Core.t * (Core.t ref * Core.t ref) * (Core.t ref * Core.t ref)) ->
      Core.op) ->
  Core.t ->
  Core.t * Core.t

single input pair outputs operation

val op_sito : 
  ff:(Core.t -> Core.t * Core.t * Core.t) ->
  fd:(Core.t -> Core.t * Core.t * Core.t) ->
  df:(Core.t -> Core.t -> Core.t -> Core.t) ->
  r:
    ((Core.t
      * (Core.t ref * Core.t ref * Core.t ref)
      * (Core.t ref * Core.t ref * Core.t ref)) ->
      Core.op) ->
  Core.t ->
  Core.t * Core.t * Core.t

single input triple outputs operation

val op_siao : 
  ff:(Core.t -> Core.t array) ->
  fd:(Core.t -> Core.t array) ->
  df:(Core.t -> Core.t -> Core.t -> Core.t) ->
  r:((Core.t * Core.t ref array * Core.t ref array) -> Core.op) ->
  Core.t ->
  Core.t array

single input array outputs operation

val op_piso : 
  ff:(Core.t -> Core.t -> Core.t) ->
  fd:(Core.t -> Core.t -> Core.t) ->
  df_da:(Core.t -> Core.t -> Core.t -> Core.t -> Core.t) ->
  df_db:(Core.t -> Core.t -> Core.t -> Core.t -> Core.t) ->
  df_dab:(Core.t -> Core.t -> Core.t -> Core.t -> Core.t -> Core.t) ->
  r_d_d:(Core.t -> Core.t -> Core.op) ->
  r_d_c:(Core.t -> Core.t -> Core.op) ->
  r_c_d:(Core.t -> Core.t -> Core.op) ->
  Core.t ->
  Core.t ->
  Core.t

pair inputs single output operation

module type Siso = sig ... end

val build_siso : (module Siso) -> Core.t -> Core.t

module type Sipo = sig ... end

val build_sipo : (module Sipo) -> Core.t -> Core.t * Core.t

module type Sito = sig ... end

val build_sito : (module Sito) -> Core.t -> Core.t * Core.t * Core.t

module type Siao = sig ... end

val build_siao : (module Siao) -> Core.t -> Core.t array

module type Piso = sig ... end

val build_piso : (module Piso) -> Core.t -> Core.t -> Core.t

module type Aiso = sig ... end

val build_aiso : (module Aiso) -> Core.t array -> Core.t

package owl-base

Module Make.Builder

Ops Builder

Module `Make.Builder`