Type Definition verified::Sqrt

type Sqrt<A> = <A as SquareRoot>::Output;

Alias for the associated type of SquareRoot: Sqrt<A> = <A as SquareRoot>::Output