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