形式
Erlang
投稿日時
2020-09-29 18:55
公開期間
無期限
  1. :- module test.
  2. :- interface.
  3. :- use_module bool.
  4. :- pred bool_int(bool.bool, int).
  5. :- mode bool_int(in, out) is det.
  6. :- mode bool_int(out, in) is semidet.
  7. :- mode bool_int(in, in) is semidet. % Implied.
  8. :- implementation.
  9. bool_int(bool.no, 0).
  10. bool_int(bool.yes, 1).
ダウンロード 印刷用表示

このコピペの URL

JavaScript での埋め込み

iframe での埋め込み

元のテキスト