Decodal/doc/manual/souce/language/expression/composition.md

Composition Expression

composition expression は、複数の値・制約・構造を合成する式である。

&

& は制約を保った合成を行う。

Port = Int & >= 1 & <= 65535;
Config = MyConfig & { port = 8000; };

//

// は右辺優先の構造的 patch を行う。

Patched = Base // {
    feature_hoge.enable = false;
};

詳細は 合成演算子 に置く。