T16.icry.stdout.mingw32

Loading module Cryptol
Loading module Cryptol
Loading module T16::A
Loading module T16::B

[error] at T16\B.cry:5:5--5:11
    Multiple definitions for symbol: update
    (at Cryptol:928:11--928:17, update)
    (at .\T16\A.cry:3:1--3:7, T16::A::update)