package owl-base

  1. Overview
  2. Docs
package owl-base
Legend:
Library
Module
Module type
Parameter
Class
Class type
val label : string
val ff_aa : Core.A.elt -> Core.A.elt -> Core.t
val ff_ab : Core.A.elt -> Core.A.arr -> Core.t
val ff_ba : Core.A.arr -> Core.A.elt -> Core.t
val ff_bb : Core.A.arr -> Core.A.arr -> Core.t
val df_da : Core.t -> Core.t -> Core.t -> Core.t -> Core.t
val df_db : Core.t -> Core.t -> Core.t -> Core.t -> Core.t
val df_dab : Core.t -> Core.t -> Core.t -> Core.t -> Core.t -> Core.t
val dr_ab : Core.t -> Core.t -> Core.t -> Core.t ref -> Core.t * Core.t
val dr_a : Core.t -> Core.t -> Core.t -> Core.t ref -> Core.t
val dr_b : Core.t -> Core.t -> Core.t -> Core.t ref -> Core.t