package boltzgen

  1. Overview
  2. Docs
val named_of_sum : Type.sum_type -> Type.named_type
val print_equations : Stdlib.Format.formatter -> (Type.compo_type * Type.poly) array -> unit
val compute_size : (Type.compo_type -> float -> (float * float) option) -> Type.poly_assoc -> float -> (Type.compo_type * float * float) list option