package body GL.MaterialsTo API docTo spec is
function is_TransparentTo API docTo spec (SelfTo API docTo spec : Material_typeTo API docTo spec) return Boolean is (Self.diffuse (3) < 1.0);
end GL.MaterialsTo API docTo specTo body;