type t
val apply_at_every_level : (t -> t) -> t -> t
val applies_for_every_applicable_level : (t -> t option) -> t -> t list
val zero : t
val one : t
val separate_star : t -> (t * Core.Float.t) option
val make_plus : t -> t -> Core.Float.t -> t
val make_times : t -> t -> t
val make_star : t -> Core.Float.t -> t