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