Module Types.Verify_result

val ok : Signed.long F.const