Documentation

Std.Classes.Ord.BitVec

Instances for strings. #