Module Core_kernel__Time_float.Span

type t