sig
module
Bool
:
Graph
module
Int
:
Graph
module
Real
:
Graph
end