Make.Sipo
val label : string
val ff_f : Core.A.elt -> Core.t * Core.t
val ff_arr : Core.A.arr -> Core.t * Core.t
val df : Core.t -> Core.t -> Core.t -> Core.t
val dr : Core.t -> Core.t -> (Core.t Stdlib.ref * Core.t Stdlib.ref) -> (Core.t Stdlib.ref * Core.t Stdlib.ref) -> Core.t