def addSlab(derivation, positives):
 copyShallow = derivation.elementNode.getCopyShallow()
 copyShallow.attributes['path'] = [Vector3(), Vector3(0.0, 0.0, derivation.height)]
 extrudeDerivation = extrude.ExtrudeDerivation(copyShallow)
 beveledRectangle = getBeveledRectangle(derivation.bevel, (- derivation.topRight))
 outsidePath = euclidean.getVector3Path(beveledRectangle)
 extrude.addPositives(extrudeDerivation, [outsidePath], positives)

def addSlab ( derivation , positives ) : copyShallow = derivation . elementNode . getCopyShallow ( ) copyShallow . attributes [ 'path' ] = [ Vector3 ( ) , Vector3 ( 0.0 , 0.0 , derivation . height ) ] extrudeDerivation = extrude . ExtrudeDerivation ( copyShallow ) beveledRectangle = getBeveledRectangle ( derivation . bevel , ( - derivation . topRight ) ) outsidePath = euclidean . getVector3Path ( beveledRectangle ) extrude . addPositives ( extrudeDerivation , [ outsidePath ] , positives )
add slab .