Make.Buildermodule type Siso = sig ... endmodule type Sipo = sig ... endbuild single input pair outputs operations
module type Sito = sig ... endbuild single input triple outputs operations
module type Siao = sig ... endmodule type Piso = sig ... endbuild pair inputs single output operations
module type Aiso = sig ... end