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