Make.Aiso
val label : string
val ff : Core.t array -> Core.t
val df : int list -> Core.t -> Core.t array -> Core.t array -> Core.t
val dr : int list -> Core.t array -> Core.t -> Core.t Stdlib.ref -> Core.t list