Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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