Sig.Piso
val label : string
val ff_aa : elt -> elt -> t
val ff_ab : elt -> arr -> t
val ff_ba : arr -> elt -> t
val ff_bb : arr -> 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 Stdlib.ref -> t * t
val dr_a : t -> t -> t -> t Stdlib.ref -> t
val dr_b : t -> t -> t -> t Stdlib.ref -> t