Sig.Siso
val label : string
val ff_f : elt -> t
val ff_arr : arr -> t
val df : t -> t -> t -> t
val dr : t -> t -> t Stdlib.ref -> t