// コード1: アクセスポリシーのリスト
module ACLs
    // ファイル名の型を定義
    type filename = string 
  
    // ファイル名が"demo/tempfile"であればtrueそれ以外であればfalseを返す関数canWriteを定義
    let canWrite (f:filename) = 
    match f with 
    | "demo/tempfile" -> true
    | _ -> false

    // canWriteまたはファイル名が"demo/README"であればtrueそれ以外であればfalseを返す関数canReadを定義
    let canRead (f:filename) = 
    canWrite f
    || f="demo/README"