Module Handshake.CISource

Sourceval lower : int -> int
Sourceval equal : string -> string -> bool