:- type x ---> some [Stream] a(Stream) => stream.stream(Stream, io.io). :- some [Stream] pred get_stream(s::in, Stream::out) is det => stream.stream(Stream, io.io). get_stream(a(Stream), Stream).
本当にこのコピペを削除してよろしいですか? (この操作は取り消しできません)