Builder.Siao
val label : string
val ff_f : A.elt -> t array
val ff_arr : A.arr -> t array
val df : t array -> t -> t -> t array
val dr : t -> t -> t Stdlib.ref array -> t Stdlib.ref array -> t