package owl

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