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