interCoCASLSign :: CoCASLSign -> CoCASLSign -> CoCASLSign
interCoCASLSign a b = closeConsRel a
  { sees = interRel (sees a) $ sees b
  , constructs = interRel (constructs a) $ constructs b
  , constructors = interOpMapSet (constructors a) $ constructors b }
interCoCASLSign :: CoCASLSign -> CoCASLSign -> CoCASLSign
interCoCASLSign a b = closeConsRel a
  { sees = interRel (sees a) $ sees b
  , constructs = interRel (constructs a) $ constructs b
  , constructors = interOpMapSet (constructors a) $ constructors b }
interCoCASLSign a b = closeConsRel a
  { sees = interRel (sees a) $ sees b
  , constructs = interRel (constructs a) $ constructs b
  , constructors = interOpMapSet (constructors a) $ constructors b }