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