Something went wrong. Try again.
Something went wrong. Try again.
1234567891011121314151617type explanation = Format.formatter -> unit
type loaded = { names : int; versions : int; extra : string list; dropped : int; parse : float;}
val root : string -> unitval section : string -> string list -> unitval packages : string list -> unitval encoded : nodes:int -> lookups:int -> unitval unsatisfiable : explanation -> unitval loaded : loaded -> solve:float -> unit