cryptol/tests/regression/check20.icry.stdout

Loading module Cryptol
Loading module Cryptol
Loading module Main
[warning] at check20.cry:3:25--3:35:
  Defaulting type of sequence member to [4]
True
Initial import from internal repo 2014-04-18 02:34:25 +04:00			`Loading module Cryptol`
			`Loading module Cryptol`
			`Loading module Main`
Remove leading `./` from file names in test output 2019-10-28 23:57:37 +03:00			`[warning] at check20.cry:3:25--3:35:`
Update changed test output. 2018-12-12 02:52:19 +03:00			`Defaulting type of sequence member to [4]`
Initial import from internal repo 2014-04-18 02:34:25 +04:00			`True`