package owl-base

  1. Overview
  2. Docs
package owl-base
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Builder.PisoSource

Sourceval label : string
Sourceval ff_aa : A.elt -> A.elt -> t
Sourceval ff_ab : A.elt -> A.arr -> t
Sourceval ff_ba : A.arr -> A.elt -> t
Sourceval ff_bb : A.arr -> A.arr -> t
Sourceval df_da : t -> t -> t -> t -> t
Sourceval df_db : t -> t -> t -> t -> t
Sourceval df_dab : t -> t -> t -> t -> t -> t
Sourceval dr_ab : t -> t -> t -> t ref -> t * t
Sourceval dr_a : t -> t -> t -> t ref -> t
Sourceval dr_b : t -> t -> t -> t ref -> t